Hagerstown / Dubrovnik / Dresden / Wroclaw / Houston / Montreal / Montr´eal / Stockholm / LFCS’07 / Manchester / Princeton / Marktoberdorf / Philadelphia / The Hague / Eindhoven / Fernuni Hagen / Brno / Linz / Lyon / Hamburg / Bremen / Durham / Eisenbachtal / Arlington / St. Louis / Rio de Janeiro / Gothenburg / Braga / Provence / Shanghai / Seattle / Pasadena / Pisa / Sydney / Washington / DC / Lund / Berlin / Prague / Beijing / Snowbird / Bologna / London / Hampton / Chicago / Dagstuhl / Edinburgh / Limerick / /
Company
IEEE Intelligent Systems / Hybrid Systems / Microsoft Research Asia / Trustworthy Software Systems / Hybrid Real-Time Systems / IBM / Transportation Cyber-Physical Systems / Selected Press / Dynamical Systems / Research Training Group / Microsoft / Cyber-Physical Systems / Intelligent Transportation Systems / Formal Systems / Component Software / 4th International Verification Workshop VERIFY / /
Country
Netherlands / France / Brazil / Canada / Australia / Portugal / United Kingdom / China / Germany / Croatia / Italy / Sweden / Poland / Austria / United States / Ireland / Czech Republic / / /
Facility
Kennedy Presidential Library / John F. Kennedy Presidential Library / College Park / University of Oldenburg / University of Koblenz-Landau / University of Karlsruhe / McMaster University / Legacy Gallery / University of California / Basic Training Camp / Research Experience Carnegie Mellon University / Carnegie Mellon University / University of Pittsburgh / Technical University of Munich / East China Normal University / Contact Information Research Interests Computer Science Department Carnegie Mellon University / University of Maryland / University of Pennsylvania / Orbital library / Abstract Model Checking University of Karlsruhe / /
IndustryTerm
virtual fixture control algorithm / smart grid applications / transportation systems / cyberphysical transportation systems / real-time systems / traffic applications / realtime systems / biological systems / robotic surgical systems / aplatzer@cs.cmu.edu Web / /
OperatingSystem
Aix / /
Organization
East China Normal University / IEEE Computer Systems Society / University of Karlsruhe / Institute for Logic / UC Berkeley / German Research Council / PC / Contact Information Research Interests Computer Science Department Carnegie Mellon University Pittsburgh / Computer Science Department / University of Koblenz-Landau / North Atlantic Treaty Organization / School of Computer Science / University of Pittsburgh / Intelligent Transportation Systems Society / Advanced Research Projects Agency / German Academic Exchange Service / Verified Software Summer School / Ecole Normale Sup´erieure / University of Pennsylvania / Philadelphia / Carnegie Mellon University / Pittsburgh / Natural Sciences and Engineering Research Council of Canada / National Science Foundation NSF / McMaster University / National Science Foundation / Technical University of Munich / Invited Research School / University of California / Berkeley / University of Maryland / College Park / SFB Transregional Collaborative Research Center / NSF EXPEDITION CMACS University / Control Society / Association for Automated Reasoning’06 Languages English / Computer Science Department Logical Systems Lab / Department of Computer Science / National Aeronautics and Space Administration / Department of Computing Science / Speakers Club / IEEE Computer Society / University of Oldenburg / Electrical Engineering Department / Gesellschaft f¨ / Admissions Committee / /
Person
Tobias Nipkow / Christopher J. Langmead / Jan-David Quesel / Franjo Ivancic / Geoffrey J. Gordon / Marc Segelken / Dennis Dams / Descriptional Complexity / Johannes Rieken / Colin Rowat / Bernhard Beckert / Thomas Bolander / Robert Simmons / David W. Renshaw / Peter Steenkiste / Ulrike Sattler / Zhiming Liu / Ana Cavalcanti / Anil Nerode / Ping Hou / Jørgen Villadsen / David Henriques / Edmund M. Clarke / Erik Peter Zawadzki / Woody Bledsoe / Sarah Michelle Loos / Antonio Bicchi / Werner Damm / Stephanie Kemper / Sharad Malik / Matt McKay / Raj Rajkumar / Peter Kazanzides / Geoff Gordon / Holger Hermanns / Ligia Nistor / Christoph Lange / Formal Aspects / Jens Oehlerking / Stefan Mitsch / Robbie McElrath / Jean-Bastien Grille / Romuald Brillout / Roberto Gorrieri / Alex Crichton / Dale Miller / George J. Pappas / Axel Legay / Platzer / Amy Felty / Formal Methods / Helmut Veith / Grant Olney Passmore / Sean McLaughlin / Gilles Dowek / David Witmer / Bruce H. Krogh / Alfred Mikschl / Peter Baumgartner / Bud Mishra / Ausgezeichnete Informatikdissertationen / Sumit Kumar Jha / David Garlan / Lili Biava Stiftung / Aram Ebtekar / Valeria de Paiva / Nikos Ar´echiga / Frank Pfenning / Jim Woodcock / Suk Lyu / Giorgio Buttazzo / Algebraic Informatics / Wang Yi / Vladimir Mencl / Lucy Cherkasova / Lesley Linn / Guerra Martins / Khalil Ghorbal / Jun Pang / Paolo Zuliani / Boris Wirtz / / /
Position
Advisor / Professor / Education Co-director / Driver / editor / CMU professor / H. Schmitt Advisor / PA Assistant Professor / Michael Butler / Keynote speaker / Keynote speaker at Descriptional Complexity / Germany Research assistant / chair / /
ProgrammingLanguage
Stateflow / Java / DC / Joule / Simulink / /
ProvinceOrState
Virginia / New York / Utah / California / Texas / New Jersey / Maryland / Pennsylvania / /
PublishedMedium
IEEE Intelligent Systems / Pittsburgh Post-Gazette / Technology Review / Journal of Symbolic Computation / Science Magazine / IEEE Transactions on Software Engineering / Theoretical Computer Science / Complex Systems / /
Andr´ e Platzer Last updated: July 6, 2013 Contact Information