VORONKOV

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.