News

January, 2021

Mechatronics, Producing Creative Student Projects Amidst a Pandemic

Mechatronics looked a little different this year. Instead of the semester ending in a class-wide robotics competition, students designed and built their own devices as part of an open-ended final project with motors, circuits, and sensors, from their own homes.

Full Article

December, 2020

Hadas Kress-Gazit elected a fellow of IEEE

Hadas Kress-Gazit, professor in the Sibley School of Mechanical and Aerospace Engineering, was elected a fellow of the Institute of Electrical and Electronics Engineers (IEEE), one of the most difficult and prestigious professional societies in which to be selected as a fellow.

Full Article

November, 2020

Hadas Kress-Gazit selected for Outstanding Research Award

Professor Hadas Kress-Gazit was selected by the College of Engineering for an Outstanding Research Award! Her significant contributions to reactive software, theory, and algorithms allow robots to perform high-level tasks with established performance guarantees.

Full Article

October, 2020

Hadas Kress-Gazit has been promoted to Full Professor

Hadas Kress-Gazit’s tremendous efforts in formal methods have resulted in significant contributions to reactive software, theory, and algorithms that allow robots to perform high-level tasks with established performance guarantees.

Full Article

October, 2020

Hadas Kress-Gazit named to Women in Robotics “30 women in robotics you need to know about”

Kress-Gazit, who has been on the faculty at Cornell Engineering since 2009, works to create verifiable robot controllers for complex high-level tasks using logic, verification, synthesis, hybrid systems theory and computational linguistics.

Full Article

2019

Paper Accepted to ISRR 2019

The paper “automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Rebresentations” by Adam Pacheck, George Konidaris, and Hadas Kress-Gazit was accepted to The International Symposium on Robotics Research (ISRR 2019).

2018

Four new projects awarded

We have had 4 new projects awarded

  • NRI: Ad-Hoc Collaborative Human-Robot Swarms (NSF, 2018-2022)
  • EFRI C3 SoRo: An End-To-End Framework For Soft Robot Design And Control Based On High-Performance Electrohydraulic Transducers (NSF, 2018-2022)
  • CPS: Syntax-Guided Synthesis for Cyber-Physical Systems (NSF, 2018-2021)
  • DARPA OFFSET – Sprint 2 (DARPA TTO, 2018-2019)

2018

Two papers to appear at ICRA 2018

Two papers will appear in ICRA 2018:

As part of the ICRA proceedings: 

T. Tosun, J. Daudelin, G. Jing, H. Kress-Gazit, M. Campbell and M. Yim, Perception-Informed Autonomous Environment Augmentation With Modular Robots

Video 

RA-L paper:

M. Lahijanian, M. Svorenova, A. Morye, B. Yeomans, D. Rao, I. Posner, P. Newman, H. Kress-Gazit and M. Kwiatkowska, Resource-Performance Trade-off Analysis for Mobile Robots

2018

Paper Accepted to AAMAS 2018

The paper “Verifiable Control of Robotic Swarm from High-level Specifications” by Ji Chen, Salar Moarref and Hadas Kress-Gazit was accepted to International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018).