Real-Time Verification of Autonomous Systems — CCAT Distinguished Lecture Series

Matthias Althoff, Professor at the Technical University of Munich, joins the summer CCAT Distinguished Lecture Series to discuss his method of online verification of autonomous systems.

TIMESTAMPS
Presentation: 00:00:05
Q&A: 00:50:00
--
Follow us!

---
About the speaker: Matthias Althoff received a diploma in Mechatronics and Information Technology from the Department of Mechanical Engineering at the Technical University of Munich, Germany, in 2005. He received his Ph.D. degree 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 a Professor in Computer Science at the Technical University of Munich.
His research interests include the design and analysis of cyber-physical systems, formal verification of continuous and hybrid systems, reachability analysis, planning algorithms, and robust and fault-tolerant control. The main applications of his research are automated vehicles, robotics, and power systems.

#CCAT #DLS