Homepage of Konstantin Korovin

[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 Andrei Voronkov.

Research interests:	iProver --- an instantiation-based theorem prover for first-order logic.
automated reasoning verification of hardware and software instantiation-based reasoning linear/non-linear arithmetic combination of theories and reasoning methods	iProver won in 2012: * FNT division at CASC@Turing * EPR division at CASC@IJCAR

PhD opportunities: If you are interested in any of the topics above and would like to apply for a PhD, please email me: korovin@cs.man.ac.uk.
Funding is available for UK and EU PhD students.

Publications

Students:
Ph.D. Christoph Sticksel (co-supervised with Renate Schmidt) graduated 2011, congratulations Christoph!!!
MSc. Ahmad Abu-Khazneh (graduated 2007)
Conference co-chair of The 6th International Joint Conference on Automated Reasoning (IJCAR'2012)
Co-chair of: UNIF'13, IWIL'12, UNIF'12 PC member of: SYNASC'13, CADE-24 (2013), ARiSVe'13, PxTP'13, IJCAR'12, UNIF'12, PAAR'12, LPAR-18 (2012), IWIL'12, FTP'11, LPAR-17, LPAR-16, IWIL'10, LPAR'09, RTA'08, PAAR'08, LPAR'07
Invited talks: Collegium Logicum 2011, CADE-22 (09), ARW'09, IWIL'06
Teaching:

• Logic and Modelling COMP21111 (2012/2013) Access via BlackBoard; previous year
• Logical Reasoning and Applications COMP61111 (2011) with Renate Schmidt
• Logic and Applications COMP61111 (2010) with Renate Schmidt
• Logic in Computer Science CS2142

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.

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