André Platzer (Preferred)
Andre Platzer
André Platzer
Full Professor, KIT Informatics Department, Karlsruher Institut für Technologie
Joined
June 2019
Names
,
Emails
****@cs.cmu.edu (Confirmed)
****@kit.edu (Confirmed)
Personal Links
Career & Education History
Full Professor
KIT Informatics Department, Karlsruher Institut für Technologie (kit.edu)
2022 – 2060
Full Professor
Computer Science Department, Carnegie Mellon University (cmu.edu)
2020 – 2022
Associate Professor
Computer Science Department, Carnegie Mellon University (cmu.edu)
2014 – 2020
Assistant Professor
Computer Science Department, Carnegie Mellon University (cmu.edu)
2008 – 2014
PhD student
Department of Computing Science, Carl von Ossietzky Universität Oldenburg (uni-oldenburg.de)
2004 – 2008
MS student
Informatics Department, 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
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
Publications
Co-Authors
- Achim D. Brucker
- Aditi Kabra
- Adriel Luo
- Ajinkya Bhave
- Akshay Rajhans
- Alessandro Fantechi
- Alexandra Mendes
- Alfred Mikschl
- Allison Sullivan
- Andreas Müller
- Andrew Sogokon
- Aurora C. Schmidt
- Axel Legay
- Bernhard Beckert
- Boris Wirtz
- Bradley R. Schmerl
- Bruce H. Krogh
- Christof J. Budnik
- Christopher James Langmead
- David Garlan
- David Henriques
- David Vogelbacher
- David W. Renshaw
- David Witmer
- Edmund M. Clarke