- Visiting address:
POL 1252 ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
- Postal address:
- Box 337
751 05 UPPSALA
Research interests (very broadly):
- Analysis and verification of programs
- Embedded systems and software
Tools I am currently working on:
- TriCera: a model checker for C programs with heap interactions; based on Eldarica.
- Eldarica: a model checker for Horn clauses, Numerical Transition Systems, and software programs accepting various inputs including SMT-LIB 2, Prolog for Horn clauses, and fragments of Scala and C for software programs.
Also available at
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.