« August 2016 »
August
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
293031
Uni-Logo
You are here: Home Team Matthias Heizmann
Document Actions

Matthias Heizmann



Research

Short: software verification. More detailed: I am working on automatic methods that verify safety and liveness properties of sequential and concurrent programs. My research interests include also automata theory, formal language theory, synthesis of termination arguments and interpolant generation.

I am investigating a verification technique in which a system can be considered as an intersection of languages. In this setting, verification problems can be reduced to well-known descision problems of languages. The crux of the approach is to abstract complex languages by more tractable languages. To refine such an abstraction automatically, I am investigating a technique in which automata are constructed from interpolants that are derived from spurious counterexamples.

Parts of my research are implemented in Ultimate Automizer, which is one toolchain of  the Ultimate Program Analysis Framework.

 

Publications

You can find an updated list at DBLP and Google Scholar.

 

Talks and Posters

 

Available Student Projects

If you are interested in a different topic feel free to ask me. If you find some of the already finished student projects interesting, feel free to ask for a follow up project.

Teaching

 

 

Personal tools