André Platzer

Country: United States

Keywords: Cyber-physical systems, Formal methods, Logic in computer science, Programming languages, Theorem proving

Websites:
Home
CMU

Other IDs:
ResearcherID: J-2507-2014
Scopus Author ID: 23393619700

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().startDate.year}}-{{group.getActive().startDate.month}} to {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}
     ()
    SOURCE: {{group.getActive().sourceName}}
    CREATED:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}} to present {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}} to {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}
     ()
    SOURCE: {{group.getActive().sourceName}}
    CREATED:
No employment added yet
    • Sources Close sources
      Created
      Preferred
    • {{group.getActive().fundingTitle.title.value}}

      (, , )
      {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}} to present {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}} to {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}} |
      • Show Details Hide Details
      • Alternate URL:
      Funding subtype
      Translated title
      Total funding amount
      {{group.getActive().currencyCode.value}} {{group.getActive().amount.value}}
      Contributors
      {{contributor.creditName.value}}
      Description
      {{group.getActive().sourceName}}
      Preferred source
      {{group.getActive().lastModified | ajaxFormDateToISO8601}}
      SOURCE: {{funding.sourceName}}
      CREATED:
      Preferred source (of {{group.activitiesCount}})
      Show other sources
No Funding added yet
    • Sources Close sources
      Created
      Preferred
      • Show Details Hide Details
    • {{work.publicationDate.year}}-{{work.publicationDate.month}} | {{work.workType.value}}
      • Show Details Hide Details
      Translated title ({{worksSrvc.details[work.putCode.value].translatedTitle.languageName}})
      {{worksSrvc.details[work.putCode.value].translatedTitle.content}}
      Language
      Subtitle
      Citation ({{worksSrvc.details[work.putCode.value].citation.citationType.value}}) [Switch view] [Switch view]
      {{worksSrvc.details[work.putCode.value].citation.citation.value}}
      View not available
      {{bibJSON.entryType}}
      {{bibJSON.citationKey}}
      {{entKey}}
      {{entVal}}
      Description
      Country of publication
      Contributor
      {{contributor.creditName.value}}
      {{work.sourceName}}
      Preferred source
      SOURCE: {{work.sourceName}}
      CREATED:
      Preferred source (of {{group.activitiesCount}})
      Show other sources
No publications added yet