Logical Systems and their Application to Computer Science

Specification, Transformation and Verification of Programs

Constraint Satisfaction

Automated Reasoning

Computational Learning Theory

Functional Programming

Logic Programming

Graph Transformation

Database Theory