Dmitry Tsarkov

I am a Research Associate in the Formal Methods Group within the School of Computer Science of the University of Manchester.

I'm working on the EPSRC funded project REVES: REasoning in VErification and Security. My job in the project is to further enrich iProver with a new functionality that allows it to solve verification problems formulated in a high-level language.

Previously I worked in the Information Management Group on different areas of the Description Logic applications.

Contact details

Room 2.90
School of Computer Science
University of Manchester
Kilburn Building
Oxford Road
Manchester M13 9PL

tel: +44 (0)161 275 6136
fax: +44 (0)161 275 6204

Current projects

Previous projects


Here you can find my list of publications.