Dr Dmitry Tishkovsky

Dr Dmitry Tishkovsky

Research Fellow
Formal Methods Group (FM)
School of Computer Science
The University of Manchester
Email: dmitry@cs.man.ac.uk (PGP public key)
Phone: +44 161 275 6139
Fax: +44 161 275 6204
Room: KB-2.106
Address:
School of Computer Science
The University of Manchester
Kilburn Building
Oxford Road
Manchester
M13 9PL
UK

Current research project:
Automated Prover Generation

Page of TABLEAUX 2013 tutorial: Page of ESSLLI 2011 course:
Valid XHTML 1.0! Valid CSS! There were 13887 visits of this page since Thu, 10 Feb 2005 16:11:09 GMT.
Last modified: Mon, 13 May 2013 14:50:29 BST.
Copyright ©2005 Dmitry Tishkovsky, School of Computer Science, The University of Manchester