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)

  • Apr
    22

    CRB Seminar: "The Challenges to Realize Embodied AI", Wolfram Burgard, University of Technology Nuremberg

    Center for Robotics and Biosystems (CRB)

    11:00 AM M416, Technological Institute

    EVENT DETAILSmore info

    TIME Wednesday, April 22, 2026 at 11:00 AM - 12:00 PM

    LOCATION M416, Technological Institute    map it

    ADD TO CALENDAR

    CONTACT Amy Nedoss    amy.nedoss@northwestern.edu EMAIL

    CALENDAR Center for Robotics and Biosystems (CRB)

  • Apr
    23

    TAM Seminar - Padmini Rangamani

    McCormick - Mechanical Engineering (ME)

    10:00 AM B211, Technological Institute

    EVENT DETAILS

    TIME Thursday, April 23, 2026 at 10:00 AM - 11:00 AM

    LOCATION B211, Technological Institute    map it

    ADD TO CALENDAR

    CONTACT Jeremy Wells    jeremywells@northwestern.edu EMAIL

    CALENDAR McCormick - Mechanical Engineering (ME)

  • May
    4

    ME512 Seminar- H. Jerry Qi

    McCormick - Mechanical Engineering (ME)

    3:00 PM L211, Technological Institute

    EVENT DETAILS

    TIME Monday, May 4, 2026 at 3:00 PM - 4:00 PM

    LOCATION L211, Technological Institute    map it

    ADD TO CALENDAR

    CONTACT Jeremy Wells    jeremywells@northwestern.edu EMAIL

    CALENDAR McCormick - Mechanical Engineering (ME)

  • May
    5

    Ted Belytschko Seminar- George Karniadakis

    McCormick - Mechanical Engineering (ME)

    2:00 PM 2350, Ford Motor Company Engineering Design Center

    EVENT DETAILS

    TIME Tuesday, May 5, 2026 at 2:00 PM - 3:00 PM

    LOCATION 2350, Ford Motor Company Engineering Design Center    map it

    ADD TO CALENDAR

    CONTACT Jeremy Wells    jeremywells@northwestern.edu EMAIL

    CALENDAR McCormick - Mechanical Engineering (ME)

  • May
    14

    TAM Seminar - Carlos Portela

    McCormick - Mechanical Engineering (ME)

    11:00 AM A230, Technological Institute

    EVENT DETAILS

    TIME Thursday, May 14, 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)