I am Professor of Formal Methods at the University of Manchester and Visiting Professor at Vienna University of Technology . And, of course, I work for EasyChair .
I am also known as the designer and founder of EasyChair , the main designer of the theorem prover Vampire , and the founder of the LPAR conference series.
In addition, I published over 100 papers in various areas of computer science and logic.