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:
Generating Tableau Provers Using MetTeL2
Page of ESSLLI 2011 course:
Automated Synthesis of Tableau Calculi
Valid XHTML 1.0! Valid CSS! There were 18644 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