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
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