Matthias Althoff received the diploma in Mechatronics and Information Technology from the department of mechanical engineering at the Technische Universität München, Germany, in 2005. He received his PhD degree (summa cum laude) in electrical engineering from the same university under the supervision of Univ.-Prof. Dr.-Ing./Univ. Tokio Martin Buss in 2010. From 2010 - 2012 he was a postdoctoral researcher at Carnegie Mellon University, USA, with a joint appointment in electrical engineering and the Robotics Institute. He joined the computer science department at Ilmenau University of Technology, Germany, in 2012 as assistant professor for automation systems. Since 2013 Matthias Althoff is assistant professor in computer science at the Technische Universität München. His research interests include the design and analysis of cyber-physical systems, formal verification of continuous and hybrid systems, reachability analysis, planning algorithms, robust and fault-tolerant control. Main applications of his research are automated vehicles, robotics, power systems, and analog and mixed-signal circuits.