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

Registered user since Fri 20 Nov 2015

Name:Matthias Heizmann

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

Affiliation:University of Freiburg, Germany
Research interests:software verification, automata theory, termination analysis, satisfiability modulo theories (SMT), interpolant generation


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