André Platzer

Registered user since Fri 4 May 2018

Name:André Platzer
Bio:

André Platzer is a Professor of Computer Science at Carnegie Mellon University. He develops the logical foundations of cyber-physical systems to characterize their fundamental principles and to answer the question how we can trust a computer to control physical processes.

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.

Country:United States
Affiliation:Carnegie Mellon University
Personal website:https://lfcps.org/
Research interests:Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal Methods

Contributions

CPP 2019 Committee Member in Program Committee within the CPP 2019-track
FASE 2019 Committee Member in Program Committee within the FASE 2019-track
TACAS 2019 Author of Verifiably Safe Off-Model Reinforcement Learning within the TACAS 2019-track
ETAPS 2019 Author of Verifiably Safe Off-Model Reinforcement Learning within the Posters-track
POPL 2019 Author of [T4] Programming Cyber-Physical Systems with Logic within the TutorialFest-track
PLDI 2018 Author of VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models within the PLDI Research Papers-track
CPP 2017 Author of Formally verified differential dynamic logic within the CPP-track
VMCAI Author of A method for invariant generation for polynomial continuous systems within the VMCAI-track
CPP 2016 Author of A Logic of Proofs for Differential Dynamic Logic within the CPP-track