Home
Publications
Research
Implementations
ADL
MetTeL
MetTeL2
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
There were 16878 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