| André Platzer | Curriculum Vitae | |
| Assistant Professor | Email: | send email |
| Computer Science Department | Phone: | +1 (412) 268-1558 |
| Carnegie Mellon University | Fax: | +1 (412) 268-5576 |
| Pittsburgh, PA 15213-3891, USA | Office: | GHC 9103 |
Overview
On this web page, you will find a selection of my research topics and tools in computer science, mathematics, and logic. Not all of my research is reflected, but you will find a reasonable overview.
 |  |
 |  |
 |  |
Among several other research topics, you will find details about the KeYmaera Verification Tool for Hybrid Systems and the theory of differential dynamic logic for hybrid systems verification.
This page further hosts the Orbital library for Java, which provides several object-oriented or functional representations and algorithms for logic, mathematics, and artificial intelligence.
Information on the courses I teach at Carnegie Mellon University can be found in the Teaching Section.
See List of Publications for more information on publications that are related to logic, computer science, and mathematics
In the News
Read about this research in the news:
| 
|
| 
|
|
| 
|
| 
|
| 
|
- Look out for the upcoming tutorial about Logics of Dynamical Systems at LICS
- ScienceNews for Kids 10/11: Cars of the future
- Technology Review 08/11: Perfekte Assistenzsysteme
- PopSci Feature: How Intelligent Cars Will Make Driving Easier and Greener
-
ACM TechNews: Carnegie Mellon Methods Keep Bugs Out Of Software For Self-Driving Cars
[SCS news | CMU news]
Many sources have publicized our work, demonstrating the public and societal demand for safety in the technologies of the future. While some of these reports have exaggerated the results of our research, we do believe that our work is an important step toward safer vehicles and safer technology. - Look out for the upcoming tutorial about KeYmaera verification at CAV'11
- IEEE Intelligent Systems' AI's 10 to Watch
[pdf | doi] - NSF CAREER Award
-
Feature in JFK 50 Legacy Gallery: Celebrate the past to awaken the future feature in Science & Innovation, John F. Kennedy Presidential Library and Museum
[SCS news] -
ACM Doctoral Dissertation Honorable Mention Award for the dissertation Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems
[SCS news] - My book has appeared with Springer
- Cover Story: Check this Out, Carnegie Mellon Today, July 2010, Vol. 7(3)
- Open-DO News
- LfSA Workshop
- Best Paper Award at FM'09
- Tartan
- POPCity Innovation News
- Brilliant 10 in Popular Science Magazine, November 2009
- CMU News
- Pittsburgh Post-Gazette
- CMU SCS News
- NSF Expedition Award
- Tribune Review
- Carnegie Mellon University press release
- NSF News
- ACM TechNews
- Dr. Dobb's Portal
- The Engineer Online
- Communications of the ACM News
- NetworkWorld
- More than 25 other news sources