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.

  • ({{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}})

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}})

No employment added yet
  • {{funding.fundingTitle.title.value}}: ({{funding.startDate.year}}-{{funding.startDate.month}} to present) ({{funding.startDate.year}}-{{funding.startDate.month}} to {{funding.endDate.year}}-{{funding.endDate.month}}) ({{funding.endDate.year}}-{{funding.endDate.month}})

No Funding added yet
  • {{work.publicationDate.year}}-{{work.publicationDate.month}}

No publications added yet