I am mainly interested in formal methods and how they can be enhanced by artificial intelligence.

In particular, I am interested in:

  • Semantics of programming languages
  • (Co)algebraic specification
  • Process calculi and Petri Nets
  • Infinite-state automata and symbolic representations
  • Model learning and applications to verification