Areas of interest
-
Logical Systems and their Application to Computer Science
-
Automated Reasoning
-
Description Logics
-
Domain-Specific Ontologies
-
Logic Programming
-
Computational Learning Theory
-
Specification, Transformation and Verification of Programs
-
Unification