Daniel Pokrywczynski's homepage
I am a PhD student in the Computer Science Department of the University of Liverpool, supervised by Frank Wolter and Grant Malcolm
My PhD project is focused on deciding conservativity and interpretability in description logics with use of theory of institutions.


 

Address
University of Liverpool
Department of Computer Science
Ashton Building
Liverpool L69 3BX
United Kingdom


 

Office
1.09


 

Telephone
+44 (0)151 795 4239


 

EMail
daniel[at]csc.liv.ac.uk


 

Master's thesis
Tableau methods in normal modal logics. (June 2005 - Nicolaus Copernicus University; Poland)


 

Publications


 

Visits to Conferences and workshops

 

Activities


 

Teaching


 

Last update: February 20, 2010.