Tadeusz Litak

JOB CHANGE
From January 2010, I am employed at University of Leicester
with Alexander Kurz's EPSRC project
(see also EPSRC website)
New e-mail address and webpage will follow soon
E-mail:
tadeusz--delete this part-- at dcs.bbk.ac.uk
Status:
Postdoctoral Research Assistant at DCSIS (Birkbeck) and LKL
Line manager:
Sven Helmer
Project:
Reliable XML Message Management for Web Services
Address (university):
Department of Computer Science and Information Systems
Birkbeck, University of London
Malet Street, London WC1E 7HX, UK
Room:
B34C
Phone:
+44 (0)20 7079 0719
Fax:
+44 (0)20 7631 6727
CS interests:
Applications of equational logic
Query languages for relational, semi-structured or active databases
(particular interest in well-behaved fragments of XPath and XQuery)
Termination analysis
Mathematical interests:
Algebraic, topological and Kripke semantics for modal, hybrid and superintuionistic logics
(completeness, definability, persistence, duality theory...)
Boolean algebras with operators
(cylindric algebras, relation algebras, dynamic algebras, modal algebras...) and their subreducts
Extensions of lattices and idempotent semirings
(hit Reload for a new quote. There are still very few on the list, but it will be expanded)
Research and publications
CV

Last update: July 16, 2009