We want to know what you think about ORCID - please take 5-10 minutes to complete our survey.

André Platzer

ORCID iD
orcid.org/0000-0001-7238-5710
Country
United States
Keywords
Cyber-physical systems, Formal methods, Logic in computer science, Programming languages, Theorem proving
Websites

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
      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
      Funding subtype
      Translated title
      Total funding amount
      {{group.getActive().currencyCode.value}} {{group.getActive().amount.value}}
      Contributors
      {{contributor.creditName.value}}
      Description
      Created
      {{group.getActive().createdDate.year}}-{{group.getActive().createdDate.month}}-{{group.getActive().createdDate.day}}
      {{group.getActive().sourceName}}
      Preferred source
      Source: {{funding.sourceName}}
      Preferred source (of {{group.activitiesCount}})
      Show other sources
No Funding added yet
    • Sources Close sources
      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 | latex}}
      Description
      Country of publication
      Contributor
      {{contributor.creditName.value}}
      Created
      {{worksSrvc.details[work.putCode.value].createdDate.year}}-{{worksSrvc.details[work.putCode.value].createdDate.month}}-{{worksSrvc.details[work.putCode.value].createdDate.day}}
      {{work.sourceName}}
      Preferred source
      Source: {{work.sourceName}}
      Preferred source (of {{group.activitiesCount}})
      Show other sources
No publications added yet