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.
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.
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.
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.
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.
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).
Science robotics paper published
Our collaborative paper “An integrated system for perception-driven autonomy with modular robots” was published in Science Robotics and recieved quite a lot of media attention. A few examples:
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)
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
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).