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.90
School of Computer Science
University of Manchester
Manchester M13 9PL
tel: +44 (0)161 275 6136
fax: +44 (0)161 275 6204