André Platzer
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 156093
Dissertation: Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Ernst-Rüdiger OlderogChristian-Albrechts-Universität zu Kiel · 1981
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Rose Bohrer | Carnegie Mellon University | 2021 | 0 |
| Nathan Fulton | Carnegie Mellon University | 2018 | 0 |
| Katherine Kosaian | Carnegie Mellon University | 2023 | 0 |
| Sarah Loos | Carnegie Mellon University | 2015 | 0 |
| Yong Kiam Tan | Carnegie Mellon University | 2022 | 0 |