« June 2016 »
June
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930
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