Session 3

file

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

Submitted by saseshia on Wed, 11/02/2016 - 5:55pm. Contributors:

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

Submitted by Anish Arora on Wed, 11/02/2016 - 5:55pm. Contributors:

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.