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