Areas of interest

 

  • 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