Registered user since Fri 20 Nov 2015
I’m generally interested in formal methods for building dependable systems and understanding complex systems. With the help of fully automatic methods, we aim at proving properties that we want these systems to satisfy, inferring properties, that means discovering properties about systems whose behaviour is difficult to understand, or synthesising systems that satisfy given properties. Systems are modelled as discrete transition systems or differential equation systems or combinations thereof, so-called hybrid systems. This comprises any kind of deterministic or non-deterministic system from computer programs to physical systems, which can be combined to cyber-physical systems. The methods involved include techniques from static analysis and decision procedures (model checking, abstract interpretation, satisfiability solving, etc).
|POPL 2016||Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track|
|Show activities from other conferences|
View general profile