If you made any changes in Pure these will be visible here soon.

Personal profile

Personal profile

I am interested in theoretical and practical/implementational aspects of infinite-state verification, with a focus on higher-order recursion and counter systems.

Please see my personal homepage for up-to-date information and paper/software downloads.


  • Verification
  • Higher-Order
  • Automata
  • Counters
  • Model-Checking
  • Software
  • Infinite-State

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or