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).