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 detailsRoom 2.90School of Computer Science University of Manchester Kilburn Building Oxford Road Manchester M13 9PL email: tsarkov@cs.man.ac.uk tel: +44 (0)161 275 6136 fax: +44 (0)161 275 6204 |