Registered user since Fri 20 Nov 2015
Name: Peter Schrammel
Bio: 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).
Affiliation: University of Oxford, UK
Personal website: http://www.cs.ox.ac.uk/people/peter.schrammel/
POPL 2016 Activities
View general profile