The author is an assistant professor in the Computer Science Department at Carnegie Mellon University. He has an M.Sc. in computer science from the University of Karlsruhe, Germany and a Ph.D. in computer science from the University of Oldenburg, Germany. Among other awards he won best paper awards at the Tableaux 2007 and FM 2009 conferences, he was among Popular Science Magazine”s annual “Brilliant 10″ in 2009, he received the ACM Doctoral Dissertation Honorable Mention Award in 2009, he was among the IEEE Intelligent Systems” biennial “AI”s 10 to Watch” in 2011, and he received an NSF Career award in 2011. His research interests include the logical foundations of cyberphysical systems, theorem proving and model checking.
4 Ebooks oleh Andre Platzer
André Platzer: Logical Analysis of Hybrid Systems
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air t …
PDF
Inggris
€96.29
Roland Meyer & Andre Platzer: Correct System Design
This book is dedicated to Professor Ernst–Rudiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog’s contributions to the scientific community. It provi …
PDF
Inggris
DRM
€50.72
Andre Platzer: Logical Foundations of Cyber-Physical Systems
Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are …
PDF
Inggris
DRM
€57.46
Andre Platzer & Geoff Sutcliffe: Automated Deduction – CADE 28
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions present …
EPUB
Inggris
DRM
€3.85
