Andre Platzer
, André Platzer
Andre Platzer
Full Professor, Karlsruher Institut für Technologie
- Joined June 2019
Names
Emails
****@cs.cmu.edu (Confirmed)
, ****@kit.edu (Confirmed)
Personal Links
Education & Career History
Full Professor
Karlsruher Institut für Technologie (kit.edu)
2022 – Present
Full Professor
Carnegie Mellon University (cmu.edu)
2020 – 2022
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
Postdoc Advisee
Enguerrand Prebet
2023 – Present
PhD Advisee
Katherine Kosaian
2017 – 2023
PhD Advisee
Yong Kiam Tan
2016 – 2022
PhD Advisee
Brandon Bohrer
2015 – 2021
Postdoc Advisee
Fabian Immler
2018 – 2020
PhD Advisee
Nathan Fulton
2013 – 2018
Postdoc Advisee
Ran Ji
2014 – 2016
Postdoc Advisee
Khalil Ghorbal
2012 – 2015
PhD Advisee
Sarah Loos
2010 – 2015
Postdoc Advisee
Jan-David Quesel
2013 – 2014
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