Control Seminar

High-level verifiable robotics

Hadas Kress-Gazit

Assistant Professor
Cornell University - Department of Electrical and Computer Engineering
Friday, January 17, 2014
3:30pm - 4:30pm
1500 EECS

Add to Google Calendar

About the Event

Why don’t we have robots fetching us coffee and finding our keys for us? While robots have become more capable and powerful, they are not yet integrated into everyday life. Part of the reason for this is that robots are difficult to program and even more difficult to verify. Therefore, to achieve the dream of a robot in every home, two key challenges must be addressed; people should be able to easily interact with robots, and robots must always do as they are told. In this talk I will discuss the work done in my group to address these challenges. Specifically, I will describe the use of language and temporal logic to capture high-level task specifications and the development of formal methods that take task specifications and produce correct robot behavior, if such behavior exists


Hadas Kress-Gazit is an Assistant Professor at the Sibley School of Mechanical and Aerospace Engineering at Cornell University. She received her Ph.D. in Electrical and Systems Engineering from the University of Pennsylvania in 2008 and has been at Cornell since 2009. Her research focuses on formal methods for robotics and automation and more specifically on creating verifiable robot controllers for complex high-level tasks using logic, verification, synthesis, hybrid systems theory and computational linguistics. She received an NSF CAREER award in 2010 and a DARPA Young Faculty Award in 2012.

Additional Information

Contact: Ann Pace

Phone: 763-5022


Sponsor(s): Bosch, Eaton, Ford, GM, Toyota, Whirlpool and the MathWorks

Open to: Public