 |
Laboratory for Foundations of Computer Science
The University of Edinburgh, James Clerk Maxwell Building
Mayfield Road
Edinburgh, EH9 3JZ
United Kingdom
My CV (a german version)
I decided to leave academia and already left Edinburgh. From
1. March I will work in Paris (for
three months).
Research Interests:
- Logics, Descriptive Complexity, Model-Checking
- Database theory (semi-structured data, query evaluation)
- (more recently) Software design (design patterns for
data-structures, OOD, OOA)
- my current projects (theoretical and programming stuff)
Recent and forthcoming important dates: