Cell phone in Montreal: +1 - 514 - 961 86 89

    Email: alexandre.riazanov@gmail.com

     I am a Computer Scientist and software developer. My research
is primarily concerned with implementation of automated reasoning.
In particular, I designed and implemented, together with Prof. Andrei
Voronkov, the high-performance theorem prover Vampire.

    I am currently in Montreal, Canada, working for North Side Inc.
Previously I worked and studied in the Computer Science Department
at the University of Manchester , the Computing Science Department at Uppsala University and Ershov Institute of Informatics Systems in Novosibirsk.



Research

Publications

CV





Links and announcements:

• Vampire wins the CNF (MIX) division of CASC for the 10th time and the FOF division for the 9th time. See the competition results here.
• highly reusable TPTP parser in Java can be downloaded from Andrei Tchaltsev's site  
  
• my profile at LinkedIn is here.