About

Welcome

This invitation-only workshop took place over February 18-19, 2014. Invitations were issued to researchers with interests and potential impact in Cyber-Physical Systems, with a special emphasis on participation by early career researchers, based on their responses to the call for participation. The goal of the workshop is to help aspiring PIs understand what NSF (and importantly, the panels convened by NSF) are expecting to see in a successful CPS proposal.

Talks by NSF Program Directors and currently funded CPS Principal Investigators provided the main program, and interaction was supplemented by time set aside for individual meetings between aspiring PIs and Program Directors.

Background

Reference Materials

Acknowledgments

This workshop is modeled after the NSF/DIMACS Workshop for Aspiring PIs in Secure and Trustworthy Cyberspace, organized by Prof. Rebecca Wright. The organizers are indebted to Prof. Wright and the NSF Program Directors who assisted in the organization and execution of that workshop for their assistance and expertise.

About our speakers

Visible to the public 

Submitted by sprinkle on Mon, 02/10/2014 - 4:07pm

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

Sriram Sankaranarayanan

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).
Andre Platzer

Andre Platzer (Carnegie Mellon, Computer Science)

Andre 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

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.

    About this workshop

    page

    Visible to the public 

    Submitted by sprinkle on Thu, 01/30/2014 - 1:02pm

    The workshop was held 18-19 February 2014, and was sponsored by the National Science Foundation under award CNS-1419419, under the direction of Jonathan Sprinkle of the University of Arizona.