Andre Platzer
, André Platzer
Andre Platzer
Carnegie Mellon University
- Joined June 2019
Names
Emails
****@cs.cmu.edu (Confirmed)
Personal Links
Education & Career History
Full Professor
Carnegie Mellon University (cmu.edu)
2020 – Present
Associate Professor
Carnegie Mellon University (cmu.edu)
2014 – 2020
Assistant Professor
Carnegie Mellon University (cmu.edu)
2008 – 2014
PhD student
Carl von Ossietzky Universität Oldenburg (uni-oldenburg.de)
2004 – 2008
MS student
Karlsruher Institut für Technologie (kit.edu)
1999 – 2004
Advisors, Relations & Conflicts
PhD Advisee
Yong Kiam Tan
2016 – 2022
PhD Advisee
Brandon Bohrer
2015 – 2021
PhD Advisee
Nathan Fulton
2013 – 2018
PhD Advisee
Sarah Loos
2010 – 2015
PhD Advisor
Ernst-Rüdiger Olderog
2004 – 2008
Expertise
logic of dynamical systems
Present
logical foundations of cyber-physical systems
Present
logic in computer science
Present
programming languages
Present
theorem proving
Present
formal methods
Present