BEGIN:VCALENDAR
CALSCALE:GREGORIAN
VERSION:2.0
METHOD:PUBLISH
PRODID:-//Drupal iCal API//EN
X-WR-TIMEZONE:America/New_York
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
DTSTART:20070311T020000
TZNAME:EDT
TZOFFSETTO:-0400
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
DTSTART:20071104T020000
TZNAME:EST
TZOFFSETTO:-0500
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
SEQUENCE:1
X-APPLE-TRAVEL-ADVISORY-BEHAVIOR:AUTOMATIC
234236
20260406T103913Z
DTSTART;TZID=America/New_York:20260415T120000
DTEND;TZID=America/New_York:2
 0260415T130000
URL;TYPE=URI:https://www.wpi.edu/news/calendar/events/robot
 ics-engineering-distinguished-speaker-series-professor-hadas-kress-gazit
Robotics Engineering Distinguished Speaker Series: Professor Hadas Kress-Ga
 zit
Formal Methods for Robotics in the Age of Big Data\n\n\n\n      \n      \n\n\n\nAbstract:
  Formal methods - mathematical techniques for describing systems, capturin
 g requirements, and providing guarantees - have been used to synthesize ro
 bot control from high-level specification, and to verify robot behavior. G
 iven the recent advances in robot learning and data-driven models, what ro
 le can, and should, formal methods play in advancing robotics? In this tal
 k I will give a few examples for what we can do with formal methods, discu
 ss their promise and challenges, and describe the synergies I see with dat
 a-driven approaches.\nBio: 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 forma
 l methods for robotics and automation, and more specifically on high-level
  specifications and synthesis for robot control. Her group has explored di
 fferent types of robotic systems including modular robots, soft robots, an
 d 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 2
 012, Cornell Engineering’s Excellence in teaching award in 2013 and 2019
 , and excellence in research award in 2020. 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 pr
 ogram chair for the International Conference on Robotics and Automation (I
 CRA) 2022, and the president of the RSS board (2019-2023), among other lea
 dership positions in the robotics community.\n
END:VEVENT
END:VCALENDAR