About our speakers

The workshop was addressed by the below faculty currently supported by the CPS Program at NSF.

Sriram Sankaranarayanan (UC Boulder, Computer Science)

Sriram Sankaranarayanan graduated with a PhD in Computer Science from Stanford University in 2005. He is an assistant professor in the Computer Science department at the University of Colorado at Boulder. From 2005-2009 he was a member of research staff at NEC Laboratories America from 2005-2009. 

His focus is on reasoning about hybrid dynamical (cyber-physical) systems, which model discrete programs interacting with a continuous environment modeled by ordinary differential equations (ODEs).

André Platzer (Carnegie Mellon, Computer Science)

André Platzer received an undergraduate and master's degree in computer science from the University of Karlsruhe (TH), Germany, in 2004, and a Ph.D. in computer science from the University of Oldenburg, Germany, in 2008.

He is an Assistant Professor of Computer Science at Carnegie Mellon University, Pittsburgh, PA, USA where he develops the logical foundations of cyber-physical systems to characterize their fundamental principles and to answer the question how we can trust a computer to control physical processes. 

Hadas Kress-Gazit (Cornell, Mechanical and Aerospace Engineering)

Hadas Kress-Gazit received the PhD from the University of Pennsylvania in 2008, where she developed methods to create robot controllers that are guaranteed to satisfy high level tasks as part of the GRASP lab. She is an assistant professor in Mechanical and Aerospace Engineering at Cornell University.

Her research and teaching interests include Robotics, Motion Planning, Task Planning, Model Checking, Verification, Hybrid Systems, Language for Robotics, and Human Robot Interaction.