<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><span class="" style="orphans: 2; widows: 2; font-size: large;">UNIVERSITY OF CHICAGO</span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><span class=""><font size="4" class="">DEPARTMENT OF COMPUTER SCIENCE</font></span></div><div class="" style="orphans: 2; widows: 2;"><span class=""><font size="4" class="">SEMINAR:</font></span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><div class=""><br class="webkit-block-placeholder"></div><p class="MsoNormal"><o:p class=""> </o:p><img apple-inline="yes" id="30AD4351-92A2-47FD-A465-0D3C5C138596" src="cid:FBB8BA4B-710B-45AF-A458-AFB6D6CB5537" class=""></p><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="orphans: 2; widows: 2;"><font size="4" class=""><b class="">Michael Everett</b></font></div><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="orphans: 2; widows: 2;"><div class="" style="margin: 0in 0in 0.0001pt;"><font size="4" class=""><i class="">Massachusetts Institute of Technology (MIT)</i></font></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 14px;"><i class=""><p class="MsoNormal" align="center"><o:p class=""></o:p></p></i></span><div class=""><br class=""></div></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class=""><font class=""><font size="4" class=""><b class="">Wednesday, March 17th at 3:00 pm</b></font></font></span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><br class=""></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;">Join via zoom (enables questions):</span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 15px;"><a href="https://uchicago.zoom.us/j/99783583051?pwd=UWovNXZab2ZiZGdlSlY5aW0rcjZmZz09" class="">https://uchicago.zoom.us/j/99783583051?pwd=UWovNXZab2ZiZGdlSlY5aW0rcjZmZz09</a></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 15px;">Meeting ID: 997 8358 3051<br class="">Passcode: uccs2021<span class=""><br class=""> </span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;">Or</span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;"><br class="">Watch via live stream:<br class=""></span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><a href="http://live.cs.uchicago.edu/michaeleverett/" style="font-size: 15px;" class="">http://live.cs.uchicago.edu/michaeleverett/</a></div></div><div class=""><div class=""><font class=""><font class=""><span class="" style="font-size: 15px;"><b class="" style="color: rgb(33, 33, 33);"><br class=""></b></span></font></font></div><div class=""><span class="" style="font-size: 15px;"><font class=""><font class=""><span class=""><b class="" style="color: rgb(33, 33, 33);">Title: </b></span></font></font><font color="#212121" class=""><span class=""><b class="">Certifiable Learning Machines: Developing resilient autonomous systems for society</b></span></font></span></div><div class=""><font color="#212121" class=""><span class="" style="font-size: 15px;"><b class=""><br class=""></b></span></font></div><div class=""><span style="font-size: 15px;" class=""><span class="" style="color: rgb(33, 33, 33);"><b class="">Abstract: </b></span><font color="#212121" class=""><span style="caret-color: rgb(33, 33, 33); white-space: pre-wrap;" class="">Autonomous robots have the potential to transform our everyday lives, yet most of today's autonomous robots struggle in the real world. This talk will first describe our work toward a new generation of robots that learn to handle the highly dynamic and uncertain nature of human environments. In particular, I will highlight the importance of obtaining accurate cost-to-go models, which we show can be learned from self-play or aerial imagery for a variety of applications, from navigation among pedestrians to last-mile delivery. The talk will then dive into the challenges of certifying the safety and robustness properties of machines that learn. I will describe our work that uses convex relaxations and set partitioning to simplify the analysis of highly nonlinear neural networks used across AI. These analysis tools led to the first framework for deep reinforcement learning that is certifiably robust to adversarial attacks and noisy sensor data. The tools also enable reachability analysis -- the calculation of all states that a system could reach in the future -- for systems that employ neural networks in the feedback loop, which provides another notion of safety for learning machines that interact with uncertain environments. Finally, I will discuss my long-term vision to spark a new era of autonomy defined by robots that are resilient, dependable, and ready to support humans throughout the real world.</span></font></span></div><font color="#212121" class=""><span style="caret-color: rgb(33, 33, 33); white-space: pre-wrap; font-size: 15px;" class=""><br class=""></span></font><div class=""><font class=""><span class="" style="font-size: 15px;"><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><div class=""><font class=""><b class="" style="color: rgb(33, 33, 33);">Bio: </b></font><font color="#212121" class=""><span style="caret-color: rgb(33, 33, 33); white-space: pre-wrap;" class="">Michael Everett received the S.B., S.M., and Ph.D. degrees in mechanical engineering from the Massachusetts Institute of Technology (MIT), in 2015, 2017, and 2020, respectively. He is currently a Postdoctoral Associate with the Department of Aeronautics and Astronautics at MIT. His research lies at the intersection of machine learning, robotics, and control theory, with specific interests in the theory and application of certifiable learning machines. He was an author of works that won the Best Paper Award on Cognitive Robotics at IROS 2019, the Best Student Paper Award and a Finalist for the Best Paper Award on Cognitive Robotics at IROS 2017, and a Finalist for the Best Multi-Robot Systems Paper Award at ICRA 2017. He has been interviewed live on the air by BBC Radio and his team’s robots were featured by Today Show and the Boston Globe.</span></font></div><font color="#212121" class=""><span style="caret-color: rgb(33, 33, 33); white-space: pre-wrap;" class=""><br class=""></span></font><br class="" style="caret-color: rgb(33, 33, 33); color: rgb(33, 33, 33); white-space: pre-wrap;"></div></span></font></div><div class=""><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><font color="#222222" class=""><i class=""><b class=""><font class="" style="font-size: 15px;">Host: Michael Maire</font></b></i></font></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></body></html>