André Platzer
Has grant
Alexander von Humboldt Professor
Research Interests
Explore related searches
Contact this professor
About
André Platzer is an Alexander von Humboldt Professor at Karlsruhe Institute of Technology, Germany. His research focuses on formal methods, hybrid dynamical systems, and safety proofs in autonomous vehicles and cyber-physical systems. Recent articles include topics such as next-generation airborne collision avoidance and verified train controllers, demonstrating his commitment to practical and resilient system design.
Recent Grants
Grant: Open
Alexander von Humboldt Professorship for Logic of Autonomous Dynamical Systems
Open Date: 2022-09-01
Close Date: 2027-08-01
Grant: Close
CPS: Small: Sound Invariant Generation for Continuous and Hybrid Systems
Open Date: 2017-09-01
Close Date: 2020-08-31
Grant: Close
CPS: Breakthrough: Knowledge-Aware Cyber-Physical Systems
Open Date: 2015-01-01
Close Date: 2017-12-31
Grant: Close
CAREER: Logical Foundations of Cyber-Physical Systems
Open Date: 2011-02-01
Close Date: 2018-01-31
Grant: Close
CPS: Medium: GOALI: An Architecture Approach to Heterogeneous Verfication of Cyber-Physical Systems
Open Date: 2010-09-15
Close Date: 2015-08-31
Articles (11)
Collaborators (4)
Jan Oliver Ringert
Professor
Bauhaus-Universität Weimar
Stefan Mitsch
DePaul University
Allison Sullivan
Assistant Professor
The University of Texas at Arlington
Alexandra Mendes
Assistant Professor
Universidade do Porto Faculdade de Engenharia
How do I reach out?
Sign in for free to see their profile details and contact information.