My research interests include design and verification of various cyber physical systems, e.g. hybrid systems, neural-network controlled systems. For Prospective Students I am looking for highly motivated students, who are interested in at least one of the following topics: cyber-physical systems, design automation, computational proof methods, machine learning. The students are expected to have a strong background in at least one of the following areas: computer science/engineering, mathematics, statistics, physics.