KIT | 
Alexander von Humboldt Professorship |
MIRI | 
RBR |
AI 10 to Watch | 
ScienceNews for Kids |
ACM Award | 
JFK50 Feature |
Springer | 
POPCity |
Today | 
The Tartan |
PopSci | 
Post-Gazette |
-
Alexander von Humboldt Professorship for AI at KIT
[news | award ceremony] - Dr. Katherine Kosaian received the Bill McCune PhD Award in Automated Reasoning 2024
[CMU news | KIT news] - Tagesspiegel Background 7/25/2022: Im Porträt André Platzer, Leiter Institute for Reliability of Autonomous Dynamical Systems am KIT
[Cybersecurity | Verkehr & Smart Mobility | Digitalisierung & KI] - AvH 6/1/2022: Alexander von Humboldt Professorship for Artificial Intelligence 2023
- CMU SCS News 6/1/2022: Platzer Selected for Alexander von Humboldt Professorship for Artificial Intelligence
- KIT 6/1/2022: KIT erhält Alexander von Humboldt-Professur für IT-Spitzenforscher
- Dr. Rose Bohrer received a CMU School of Computer Science Distinguished Dissertation Honorable Mention Award 2021
- FLI 12/12/2018: How to create AI that can safely navigate our world
- Allgäuer Zeitung, 08/3/2017: Damit es nicht knallt
- ComputerWorld 2/23/2017: Here's why self-driving cars may never really be self-driving
- Dr. Sarah Loos received a CMU School of Computer Science Distinguished Dissertation Honorable Mention Award 2016
- Washington Post 12/18/2015: The billion-dollar robot question — how can we make sure they’re safe?
- Machine Intelligence Research Institute 02/15/2014: André Platzer on Verifying Cyber-Physical Systems
-
Robotics Business Review 05/03/2013: The Technology that Could Save Robotic Surgery Millions: Software diagnostic research debugs robotic surgical systems
[pdf] -
ACM TechNews 04/10/2013: Technique Finds Software Bugs in Surgical Robots and Helps Developers Fix Flaws, Ensure Safety
[SCS News | CMU News]
Many sources have publicized our work.- Med Curiositech 04/23/2013: Scientists developed a process to find surgical robot bugs
- International Hospital Equipment & Solutions: Technique finds software bugs in surgical robots
- Tartan 04/14/2013: Researcher helps improve algorithm for robotic surgeons
- CRA CCC Highlight of the Week 04/11/2013: Technique Finds Software Bugs in Surgical Robots
- Robotics Trends 04/11/2013: Software Verification Method Detects Bugs in Surgical Robots
- Science 360 04/09/2013: Technique Finds Software Bugs In Surgical Robots And Helps Developers Fix Flaws, Ensure Safety
- Science Business 04/09/2013: Software Testing Technique Devised for Surgical Robots
- NSF News from the Field 04/08/2013: Technique Finds Software Bugs in Surgical Robots and Helps Developers Fix Flaws, Ensure Safety
- Slashdot 04/08/2013: Scientists Tout New Way To Debug Surgical Bots
- Bio-Medicine 04/08/2013: Technique finds software bugs in surgical robots and helps developers fix flaws, ensure safety
- Robotics Business Review 04/08/2013: Researchers Diagnose Software Bugs in Surgical Robots
- NetworkWorld 04/08/2013: Scientists tout advanced process to find surgical robot bugs before the bot cuts off something important
- Science Newsline 04/08/2013: Technique Finds Software Bugs in Surgical Robots And Helps Developers Fix Flaws, Ensure Safety
- Science Daily 04/08/2013: Technique Finds Software Bugs in Surgical Robots and Helps Developers Fix Flaws, Ensure Safety
- Futurity 04/08/2013: Find and fix ‘bugs’ in surgical robots
- Life, death and software: With no margin for mistakes, control systems for surgical robots must as error-proof as possible. the LINK
- Look out for the tutorial about Logics of Dynamical Systems at LICS
[pdf | slides] - ScienceNews for Kids 10/2011: Cars of the future
- Technology Review 08/2011: Perfekte Assistenzsysteme
- PopSci Feature: How Intelligent Cars Will Make Driving Easier and Greener
-
ACM TechNews 06/21/2011: 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
-
Featured 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] - Book on Logical Analysis of Hybrid Systems has appeared with Springer
- Cover Story: Check this Out, Carnegie Mellon Today, July 2010, Vol. 7(3)
- Open-DO News: Formal Methods Week 2009
- LfSA Workshop
- Best Paper Award at FM'09
- Tartan: Professor included in Pop Sci's Brilliant 10
- POPCity Innovation News: Carnegie Mellon's "crash test anti-dummy" named to Brilliant 10
- AMS Math Digest -- Summaries of Media Coverage of Math
- Brilliant 10 in Popular Science Magazine, November 2009
- CMU News: Platzer Honored for Systems Research
- Pittsburgh Post-Gazette: CMU professor recognized for making things miss
- CMU SCS News 10/15/2009: Popular Science Chooses Carnegie Mellon's Platzer For 2009 “Brilliant 10” List of Young Scientists
- NSF Expedition Award
- Tribune Review
- Carnegie Mellon University press release: Carnegie Mellon Computer Scientists Develop Method for Verifying Safety of Computer-Controlled Devices
- ACM TechNews 04/24/2009: Carnegie Mellon Computer Scientists Develop Method for Verifying Safety of Computer-Controlled Devices
- NSF News 04/20/2009: Carnegie Mellon Scientists Develop Method for Verifying Safety of Computer-controlled Devices
- Dr. Dobb's Portal
- The Engineer Online
- Communications of the ACM News 04/21/2009: Method For Verifying Safety Of Computer-Controlled Devices Developed
- NetworkWorld
- More than 25 other news sources