ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
André Platzer

Registered user since Fri 4 May 2018

Name:André Platzer

André Platzer is an Associate 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
Research interests:Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal Methods


ETAPS 2019 Verifiably Safe Off-Model Reinforcement Learning
FASE 2019 Committee Member in Program Committee within the FASE 2019-track
TACAS 2019 Verifiably Safe Off-Model Reinforcement Learning
Show activities from other conferences

ETAPS 2019-profile
View general profile