Lars Lindemann

Prof. Dr. Lars Lindemann is a Professor in the Department of Electrical Engineering at ETH Zurich. His research interests include systems and control theory, formal verification, machine learning for verification and control, uncertainty quantification, autonomous and cyber-physical systems, and robotics. His work focuses on advancing methodologies for the design and analysis of complex systems with applications in automation and intelligent technologies.

Lars Lindemann is an Assistant Professor of Algorithmic Systems Theory at ETH Zürich, specializing in Systems and Control Theory, Formal Methods, Robotics, and Autonomous Systems. His research focuses on developing formal verification techniques for safety-critical systems, particularly through the integration of control barrier functions and signal temporal logic. He explores methods for safe planning and control in dynamic environments, emphasizing robustness against uncertainties and adversarial conditions. Lindemann's work also includes learning control strategies from expert demonstrations and applying conformal prediction for real-time safety guarantees in autonomous systems. His research bridges theoretical foundations with practical applications in robotics and multi-agent systems.