Cornell robotics panel as part of Cornell's sesquicentennial celebration, April 2015. Prof. Kress-Gazit's presentation starts at 38:40
Professor Hadas Kress-Gazit co-directs, together with Professor Mark Campbell, the Autonomous Systems Lab at Cornell. Information about undergraduate and M.Eng projects can be found there.
How can we interact with physical systems, in particular robots, at a high level? How can we formalize high level goals in a user friendly way? How can we automatically create controllers for such systems and how can we guarantee these systems will behave correctly?