André Platzer

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

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

  • Keywords
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
Home

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


CMU

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

  • Other IDs
Scopus Author ID: 23393619700

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


ResearcherID: J-2507-2014

Sources:
(2014-08-07)

Biography

André Platzer develops the logical foundations of cyber-physical systems (CPS), i.e. systems that combine cyber aspects such as communication and computer control with physical aspects such as movement in space. André Platzer is an Associate Professor of Computer Science at Carnegie Mellon University, has a Ph.D. from the University of Oldenburg, Germany, and 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