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 ESSLLI 2011 tutorial:
Automated Synthesis of Tableau Calculi
Valid XHTML 1.0! Valid CSS! There were 106374 visits of this page since Thu, 10 Feb 2005 16:11:09 GMT.
Last modified: Wed, 01 Jun 2011 22:48:30 BST.
Copyright ©2005 Dmitry Tishkovsky, School of Computer Science, The University of Manchester