Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
André Platzer

Registered user since Fri 4 May 2018

Name:André Platzer

André Platzer is the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems at Karlsruhe Institute of Technology and leads the Logical Systems Lab at Carnegie Mellon University. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes. The solution to this challenge is the key to enabling computer assistance that we can bet our lives on. Prof. Platzer pursues this challenge with the principled design of programming languages with logics that can provide proofs as correctness guarantees.

André Platzer has a Ph.D. from the University of Oldenburg, Germany, received an ACM Doctoral Dissertation Honorable Mention and NSF CAREER Award, and was named one of the Brilliant 10 Young Scientists by the Popular Science magazine and one of the AI’s 10 to Watch by the IEEE Intelligent Systems Magazine.

Affiliation:Karlsruhe Institute of Technology (KIT)
Personal website:https://lfcps.org/
Research interests:Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal Methods


ICSE 2023 Pegasus: A Framework for Sound Continuous Invariant Generation
Show activities from other conferences

ICSE 2023-profile
View general profile