See http://img.cs.manchester.ac.uk/people/#dts
Dimitri was introduced at F2F1 as the implementor of FaCT++.