2016

file

Visible to the public UAV Testbed for the CPS Community

Jnaneshwar "JD" Das is a Postdoctoral Researcher in robotics at the GRASP Laboratory, University of Pennsylvania, where working with Dr. Vijay Kumar, he is investigating the use of unmanned aerial vehicles (UAVs) for precision agriculture, earth sciences, and humanitarian applications. Essential to this effort, he is developing a cloud-based testbed to enable UAV education and research at scale.

file

Visible to the public Student Experience with Verification Tools in the Design Competition

Paulo Tabuada was born in Lisbon, Portugal, one year after the Carnation Revolution. He received his "Licenciatura" degree in Aerospace Engineering from Instituto Superior Tecnico, Lisbon, Portugal in 1998 and his Ph.D. degree in Electrical and Computer Engineering in 2002 from the Institute for Systems and Robotics, a private research institute associated with Instituto Superior Tecnico. Between January 2002 and July 2003 he was a postdoctoral researcher at the University of Pennsylvania.

file

Visible to the public Student Competitions in the Curriculum

Julie Adams joined the faculty of the Electrical Engineering and Computer Science Department at Vanderbilt University in August 2003, founding the Human-Machine Teaming Laboratory at that time. Prior to joining Vanderbilt, Dr. Adams was an Assistant Professor of Computer Science at Rochester Institute of Technology (RIT). Before returning to academia, she worked in Human Factors for Honeywell, Inc. and the Eastman Kodak Company from 1995 to 2000. Dr.

file

Visible to the public Student Competitions in CPS

Jonathan Sprinkle is an Assistant Professor of Electrical and Computer Engineering at the University of Arizona. In 2013 he received the NSF CAREER award, and in 2009, he received the UA's Ed and Joan Biggers Faculty Support Grant for work in autonomous systems. Until June 2007, he was the Executive Director of the Center for Hybrid and Embedded Software Systems at the University of California, Berkeley. His research is in the area of intelligent autonomous systems, including UAVs, UGVs, and hybrid systems.

file

Visible to the public 2b-Competition.mp4

file

Visible to the public 2a-Competitions.mov

file

Visible to the public CPS-VO Project Overview

Janos Sztipanovits is currently the E. Bronson Ingram Distinguished Professor of Engineering at Vanderbilt University and he also holds the Joe B. Wyatt Distinguished University Professor title in 2012/2013. He is founding director of the Institute for Software Integrated Systems (ISIS). His research areas are at the intersection of systems and computer science and engineering. His current research interest includes the foundation and applications of Model-Integrated Computing for the design of Cyber-Physical Systems.

file

Visible to the public VeHICal: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems

Sanjit A. Seshia is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received an M.S. and Ph.D. in Computer Science from Carnegie Mellon University, and a B. Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay. His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in cyber-physical systems, computer security, electronic design automation, and synthetic biology. His Ph.D.

file

Visible to the public SONYC: A Cyber-Physical System for Monitoring, Analysis, and Mitigation of Urban Noise Pollution

Juan Pablo Bello is Associate Professor of Music Technology, and Electrical & Computer Engineering, at New York University, with a courtesy appointment at NYU's Center for Data Science. In 1998 he received a BEng in Electronics from the Universidad Simon Bolivar in Caracas, Venezuela, and in 2003 he earned a doctorate in Electronic Engineering at Queen Mary, University of London.