News & Events
Department Events

Events

  • Mar
    9

    ME512 SEMINAR SERIES: Hadas Kress-Gazit

    McCormick - Mechanical Engineering (ME)

    3:00 PM LR3, Technological Institute

    EVENT DETAILS

    Abstract

    Formal methods - mathematical techniques for describing systems, capturing requirements, and providing guarantees - have been used to synthesize robot control from high-level specification, and to verify robot behavior. Given the recent advances in robot learning and data-driven models, what role can, and should, formal methods play in advancing robotics? In this talk I will give a few examples for what we can do with formal methods, discuss their promise and challenges, and describe the synergies I see with data-driven approaches.

    Bio

    Hadas Kress-Gazit is the Geoffrey S.M. Hedrick Sr. Professor at the Sibley School of Mechanical and Aerospace Engineering at Cornell University, and the Associate Dean for Diversity and Academic Affairs of Cornell Duffield College of Engineering. 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 high-level specifications and synthesis for robot control. Her group has explored different types of robotic systems including modular robots, soft robots, and swarms, and how formal methods can be used for human-robot interaction. She received an NSF CAREER award in 2010, a DARPA Young Faculty Award in 2012, Cornell Engineering’s Excellence in teaching award in 2013 and 2019, and excellence in research award in 2021. She is an IEEE Fellow and has served on DARPA’s Information Science and Technology study group (ISAT), as the program chair for Robotics: Science and Systems (RSS) 2018, the program chair for the International Conference on Robotics and Automation (ICRA) 2022, and the president of the RSS board (2019-2023), among other leadership positions in the robotics community.

    more less

    TIME Monday, March 9, 2026 at 3:00 PM - 4:00 PM

    LOCATION LR3, Technological Institute    map it

    ADD TO CALENDAR

    CONTACT Jeremy Wells    jeremywells@northwestern.edu EMAIL

    CALENDAR McCormick - Mechanical Engineering (ME)

  • Feb
    19

    TAM Seminar Series - Grace Gu

    McCormick - Mechanical Engineering (ME)

    11:00 AM A230, Technological Institute

    EVENT DETAILS

    TIME Thursday, February 19, 2026 at 11:00 AM - 12:00 PM

    LOCATION A230, Technological Institute    map it

    ADD TO CALENDAR

    CONTACT Jeremy Wells    jeremywells@northwestern.edu EMAIL

    CALENDAR McCormick - Mechanical Engineering (ME)

  • Mar
    12

    TAM Seminar Series - Shelly Zhang

    McCormick - Mechanical Engineering (ME)

    11:00 AM A230, Technological Institute

    EVENT DETAILS

    TIME Thursday, March 12, 2026 at 11:00 AM - 12:00 PM

    LOCATION A230, Technological Institute    map it

    ADD TO CALENDAR

    CONTACT Jeremy Wells    jeremywells@northwestern.edu EMAIL

    CALENDAR McCormick - Mechanical Engineering (ME)