Professor
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.
Research output: Contribution to conference › Paper › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to non-peer-reviewed publication › Internet publication
Activity: Participating in or organising an event › Participation in conference
Activity: Participating in or organising an event › Participation in conference
Activity: Participating in or organising an event › Participation in conference
Project: Research
Project: Research
ID: 15000156