Matthias Heizmann

Matthias Heizmann is a Professor at the University of Freiburg's Department of Computer Science, part of the Faculty of Engineering. His research focuses on software verification, automata theory, and formal methods. He leads the development of the Ultimate Program Analysis Framework, particularly its Ultimate Automizer toolchain. Heizmann teaches courses on program verification, theoretical computer science, and automata theory. His work emphasizes automata-based verification techniques, termination analysis, and abstract interpretation refinement. He actively supervises student projects in program analysis and formal methods, integrating theoretical insights with practical implementations in the Ultimate framework. His research has been presented at conferences like CAV, TACAS, and SAS, with contributions to both theoretical foundations and practical verification tools.