Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Matthias Heizmann

Registered user since Fri 20 Nov 2015

Name: Matthias Heizmann

Bio: I am a developer of the Ultimate Automizer software verifier. https://ultimate.informatik.uni-freiburg.de/automizer/

Country: Germany

Affiliation: University of Freiburg, Germany

Personal website: http://swt.informatik.uni-freiburg.de/staff/heizmann

Research interests: software verification, automata theory, termination analysis, satisfiability modulo theories (SMT), interpolant generation

Contributions

VMCAI 2021 Verification of Concurrent Programs Using Petri Net Unfoldings
POPL 2021 Committee Member in Program Committee within the POPL-track
Show activities from other conferences

POPL 2021-profile
View general profile