André Platzer

ORCID iD
orcid.org/0000-0001-7238-5710
  • Country
  • Show details Hide details
United States

Sources:
André Platzer (2016-01-24)

  • Keywords
  • Show details Hide details
Logic in computer science,

Sources:
André Platzer (2014-08-10)

Cyber-physical systems,

Sources:
André Platzer (2014-08-10)

Programming languages,

Sources:
André Platzer (2014-08-10)

Formal methods,

Sources:
André Platzer (2014-08-10)

Theorem proving

Sources:
André Platzer (2014-08-10)

  • Websites
  • Show details Hide details
Home

Sources:
André Platzer (2016-02-08)

CMU

Sources:
André Platzer (2016-02-08)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 23393619700

Sources:
Scopus to ORCID (2014-08-07)

ResearcherID: J-2507-2014

Sources:
0000-0001-7238-5710 (2014-08-07)

Biography

André Platzer develops the logical foundations of cyber-physical systems (CPS) to characterize their fundamental principles and to answer the question how we can trust a computer to control physical processes. André Platzer is an Associate Professor of Computer Science at Carnegie Mellon University, has a Ph.D. from the University of Oldenburg, Germany, received an ACM Doctoral Dissertation Honorable Mention and NSF CAREER award, and was named one of the Brilliant 10 Young Scientists by the Popular Science magazine and one of the AI's 10 to Watch by the IEEE Intelligent Systems Magazine.
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No employment added yet
No Funding added yet
No publications added yet