{"632309":{"#nid":"632309","#data":{"type":"event","title":"SCS Recruiting Seminar: Gagandeep Singh","body":[{"value":"\u003Cp\u003ETITLE: \u003Cem\u003ECertified Artificial Intelligence\u003C\/em\u003E\u003C\/p\u003E\r\n\r\n\u003Cp\u003EABSTRACT:\u003C\/p\u003E\r\n\r\n\u003Cp\u003EDespite remarkable success over the last decade, increasing evidence pointing to the fragility of modern data-driven AI systems has started to emerge, triggering social concerns, government regulations, and limiting wider adoption. Indeed, creating AI systems that behave safely and reliably is a fundamental challenge of critical importance. In this talk, I will present a path towards addressing this fundamental problem. Specifically, I will introduce new mathematical methods based on convex relaxations, sampling, and Lipschitz optimization that enable scalable and precise reasoning about the (potentially infinite number of) behaviors of an AI system (e.g., a deep neural network). I will then show how these methods enable both the creation of state-of-the-art automated verifiers for modern AI systems and the discovery of new provable training techniques. Finally, I will outline several promising future research directions.\u003C\/p\u003E\r\n\r\n\u003Cp\u003EBIO:\u003C\/p\u003E\r\n\r\n\u003Cp\u003EGagandeep Singh is a Ph.D. candidate at ETH Zurich supervised by Professors Martin Vechev and Markus P\u0026uuml;schel. He completed his master\u0026rsquo;s from ETH and bachelor\u0026rsquo;s from the Indian Institute of Technology, Patna. His research interests lie at the intersection of automated reasoning and machine learning. He has built several systems now used in both academia and industry, including ELINA, a state-of-the-art library for fast numerical static analysis and ERAN, a state-of-the-art verifier for deep neural networks.\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\r\n","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":[{"value":"Certified Artificial Intelligence"}],"uid":"34541","created_gmt":"2020-02-11 17:16:00","changed_gmt":"2020-02-11 17:18:51","author":"Tess Malone","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2020-02-20T10:50:00-05:00","event_time_end":"2020-02-20T11:50:00-05:00","event_time_end_last":"2020-02-20T11:50:00-05:00","gmt_time_start":"2020-02-20 15:50:00","gmt_time_end":"2020-02-20 16:50:00","gmt_time_end_last":"2020-02-20 16:50:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"hg_media":{"632310":{"id":"632310","type":"image","title":"Gagandeep Singh","body":null,"created":"1581441509","gmt_created":"2020-02-11 17:18:29","changed":"1581441509","gmt_changed":"2020-02-11 17:18:29","alt":"Gagandeep Singh","file":{"fid":"240584","name":"Gagandeep.jpg","image_path":"\/sites\/default\/files\/images\/Gagandeep.jpg","image_full_path":"http:\/\/hg.gatech.edu\/\/sites\/default\/files\/images\/Gagandeep.jpg","mime":"image\/jpeg","size":170340,"path_740":"http:\/\/hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/images\/Gagandeep.jpg?itok=Scb_fwqQ"}}},"media_ids":["632310"],"groups":[{"id":"47223","name":"College of Computing"},{"id":"50875","name":"School of Computer Science"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1795","name":"Seminar\/Lecture\/Colloquium"}],"invited_audience":[{"id":"78761","name":"Faculty\/Staff"},{"id":"177814","name":"Postdoc"},{"id":"78771","name":"Public"},{"id":"174045","name":"Graduate students"},{"id":"78751","name":"Undergraduate students"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"\u003Cp\u003ETess Malone, Communications Officer\u003C\/p\u003E\r\n\r\n\u003Cp\u003E\u003Ca href=\u0022mailto:tess.malone@cc.gatech.edu\u0022\u003Etess.malone@cc.gatech.edu\u003C\/a\u003E\u003C\/p\u003E\r\n","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}