Home page of Konstantin Korovin

I am a Royal Society University Research Fellow at School of Computer Science, The University of Manchester. Research interests:

• automated reasoning
• combination of theories and reasoning methods
• verification of hardware and software
• instantiation-based reasoning
• linear arithmetic

Have your best papers ready for: The 6th International Joint Conference on Automated Reasoning (IJCAR'2012)

Publications

iProver --- an instantiation-based theorem prover for first-order logic. New version iProver v0.8.1 (post CASC-J5, 2010) is released!!!
Hard Reality Tool --- HRT is a tool for randomly extracting hard and realistic theory problems (conjunctive constraints) from SMT problems with a non-trivial boolean structure. GoRRiLA is another tool for randomly generating (i) linear arithmetic problems and (ii) propositional problems.
PhD opportunities: If you are interested in any of the topics above and would like to apply for a PhD at School of Computer Science please do not hesitate to contact me.
Students:
Ph.D. Christoph Sticksel (co-supervised with Renate Schmidt) graduated 2011, congratulations Christoph!!!
MSc. Ahmad Abu-Khazneh (graduated 2007)
PC member of: IJCAR'2012, UNIF 2012, PAAR 2012, LPAR-18 (2012), IWIL 2012,FTP'2011, LPAR-17, LPAR-16, IWIL'2010, LPAR'09, RTA'08, PAAR'08, LPAR'07
Invited talks: Collegium Logicum 2011, CADE-22 (09), ARW'09, IWIL'06
Teaching:

• Logical Reasoning and Applications COMP61111 (2011) with Renate Schmidt
• Logic and Applications COMP61111 (2010) with Renate Schmidt
• Logic in Computer Science CS2142

Short Bio:
[2007-currently] Royal Society University Research Fellow at School of Computer Science, The University of Manchester.
[2004-2007] Research associate at the University of Manchester.
[2003-2004] Researcher at the Max-Planck-Institut für Informatik, Saarbrücken, Germany.
[2003] PhD degree from the University of Manchester, School of Computer Science, Supervisor Prof. Andrei Voronkov.

Address: School of Computer Science University of Manchester Oxford Road Manchester M13 9PL UK

Kilburn building, room number 2.40 e-mail: korovin$@$cs.man.ac.uk phone: +44-161-3067005 (work) fax: +44-161-275-6204