André Platzer
Alexander von Humboldt Professor
Karlsruhe Institute of Technology
Germany
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Transportation Engineering
Mathematical Logic
Differential Equation
Verification Engineering
Fixed Point Theory
Formal Methods
Vehicular Technology
Ask ApplyKite AI
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
Articles11
Collaborators4
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.