I am Professor of Formal Methods at the University of Manchester and Professor at Chalmers 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.