{"id":3199,"date":"2024-03-26T15:52:54","date_gmt":"2024-03-26T15:52:54","guid":{"rendered":"https:\/\/lassonde.yorku.ca\/eecs\/?post_type=mec-events&p=3199"},"modified":"2025-05-26T14:14:27","modified_gmt":"2025-05-26T14:14:27","slug":"lionel","status":"publish","type":"mec-events","link":"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/","title":{"rendered":"Lionel Briand"},"content":{"rendered":"

AI + SE Seminar Series (March 28, 2025. 1 pm \u2013 2 pm EST).<\/p>\n

Automated Testing and Safety Analysis of Deep Neural Networks<\/h3>\n

Software engineering has long sought ways to improve software testing to ensure that critical software is reliable before deployment. The rise of deep learning (DL) software has disrupted traditional testing and analysis practices, leading to the development of specialized methods and techniques to tackle the unique challenges posed by DL. This is particularly vital in critical systems with safety implications for users and the environment.<\/p>\n

This presentation will share findings from years of research on the automated and practical testing of DL models and DL-enabled systems. It will also cover work on testing-based safety analysis as a significant application of testing.<\/span><\/p>\n

Bio<\/h3>\n

Lionel<\/span>\u00a0C. Briand is professor of software engineering and has shared appointments between (1) School of Electrical Engineering and Computer Science, University of Ottawa, Canada and (2) The Lero SFI Centre for Software Research, University of Limerick, Ireland. He is a Canada research chair in Intelligent Software Dependability and Compliance (Tier 1) and the director of Lero. He has conducted applied research in collaboration with industry for more than 25 years, including projects in the automotive, aerospace, manufacturing, financial, and energy domains. He is a fellow of the IEEE, ACM, and Royal Society of Canada. He was also granted the IEEE Computer Society Harlan Mills Award (2012), the IEEE Reliability Society Engineer-of-the-year award (2013), and the ACM SIGSOFT Outstanding Research Award (2022) for his work on software testing and verification.\u00a0 His research interests include software testing and verification (including security and AI aspects), trustworthy AI, applications of AI in software engineering, model-driven software development, requirements engineering, and empirical software engineering.<\/p>\n

For more details, please visit: www.lbriand.info<\/a><\/p>\n

EECS Upcoming Events: https:\/\/lassonde.yorku.ca\/eecs\/eecs-upcoming-events\/<\/a><\/p>\n

Zoom Recording: Click Here <\/a>& Presentation Slides<\/a><\/p>\n

This talk is sponsored by the Center for Innovation in Computing at Lassonde.<\/span><\/p>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

AI + SE Seminar Series (March 28, 2025. 1 pm \u2013 2 pm EST). Automated Testing and Safety Analysis of Deep Neural Networks Software engineering has long sought ways to improve software testing to ensure that critical software is reliable before deployment. The rise of deep learning (DL) software has disrupted traditional testing and analysis…<\/p>\n","protected":false},"author":286,"featured_media":3230,"comment_status":"closed","ping_status":"closed","template":"","tags":[],"mec_category":[],"class_list":["post-3199","mec-events","type-mec-events","status-publish","has-post-thumbnail","hentry"],"yoast_head":"\nLionel Briand | Electrical Engineering and Computer Science<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Lionel Briand | Electrical Engineering and Computer Science\" \/>\n<meta property=\"og:description\" content=\"AI + SE Seminar Series (March 28, 2025. 1 pm \u2013 2 pm EST). Automated Testing and Safety Analysis of Deep Neural Networks Software engineering has long sought ways to improve software testing to ensure that critical software is reliable before deployment. The rise of deep learning (DL) software has disrupted traditional testing and analysis...\" \/>\n<meta property=\"og:url\" content=\"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/\" \/>\n<meta property=\"og:site_name\" content=\"Electrical Engineering and Computer Science\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-26T14:14:27+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/lassonde.yorku.ca\/eecs\/wp-content\/uploads\/sites\/6\/2024\/03\/lionel-932x1024.png\" \/>\n\t<meta property=\"og:image:width\" content=\"932\" \/>\n\t<meta property=\"og:image:height\" content=\"1024\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/\",\"url\":\"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/\",\"name\":\"Lionel Briand | Electrical Engineering and Computer Science\",\"isPartOf\":{\"@id\":\"https:\/\/lassonde.yorku.ca\/eecs\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/lassonde.yorku.ca\/eecs\/wp-content\/uploads\/sites\/6\/2024\/03\/lionel.png\",\"datePublished\":\"2024-03-26T15:52:54+00:00\",\"dateModified\":\"2025-05-26T14:14:27+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/#primaryimage\",\"url\":\"https:\/\/lassonde.yorku.ca\/eecs\/wp-content\/uploads\/sites\/6\/2024\/03\/lionel.png\",\"contentUrl\":\"https:\/\/lassonde.yorku.ca\/eecs\/wp-content\/uploads\/sites\/6\/2024\/03\/lionel.png\",\"width\":2169,\"height\":2383,\"caption\":\"lionel\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/lassonde.yorku.ca\/eecs\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Events\",\"item\":\"https:\/\/lassonde.yorku.ca\/eecs\/events\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Lionel Briand\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/lassonde.yorku.ca\/eecs\/#website\",\"url\":\"https:\/\/lassonde.yorku.ca\/eecs\/\",\"name\":\"Electrical Engineering and Computer Science\",\"description\":\"Just another Lassonde - Site Network Sites site\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/lassonde.yorku.ca\/eecs\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Lionel Briand | Electrical Engineering and Computer Science","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/","og_locale":"en_US","og_type":"article","og_title":"Lionel Briand | Electrical Engineering and Computer Science","og_description":"AI + SE Seminar Series (March 28, 2025. 1 pm \u2013 2 pm EST). Automated Testing and Safety Analysis of Deep Neural Networks Software engineering has long sought ways to improve software testing to ensure that critical software is reliable before deployment. The rise of deep learning (DL) software has disrupted traditional testing and analysis...","og_url":"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/","og_site_name":"Electrical Engineering and Computer Science","article_modified_time":"2025-05-26T14:14:27+00:00","og_image":[{"width":932,"height":1024,"url":"https:\/\/lassonde.yorku.ca\/eecs\/wp-content\/uploads\/sites\/6\/2024\/03\/lionel-932x1024.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/","url":"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/","name":"Lionel Briand | Electrical Engineering and Computer Science","isPartOf":{"@id":"https:\/\/lassonde.yorku.ca\/eecs\/#website"},"primaryImageOfPage":{"@id":"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/#primaryimage"},"image":{"@id":"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/#primaryimage"},"thumbnailUrl":"https:\/\/lassonde.yorku.ca\/eecs\/wp-content\/uploads\/sites\/6\/2024\/03\/lionel.png","datePublished":"2024-03-26T15:52:54+00:00","dateModified":"2025-05-26T14:14:27+00:00","breadcrumb":{"@id":"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/#primaryimage","url":"https:\/\/lassonde.yorku.ca\/eecs\/wp-content\/uploads\/sites\/6\/2024\/03\/lionel.png","contentUrl":"https:\/\/lassonde.yorku.ca\/eecs\/wp-content\/uploads\/sites\/6\/2024\/03\/lionel.png","width":2169,"height":2383,"caption":"lionel"},{"@type":"BreadcrumbList","@id":"https:\/\/lassonde.yorku.ca\/eecs\/events\/lionel\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/lassonde.yorku.ca\/eecs\/"},{"@type":"ListItem","position":2,"name":"Events","item":"https:\/\/lassonde.yorku.ca\/eecs\/events\/"},{"@type":"ListItem","position":3,"name":"Lionel Briand"}]},{"@type":"WebSite","@id":"https:\/\/lassonde.yorku.ca\/eecs\/#website","url":"https:\/\/lassonde.yorku.ca\/eecs\/","name":"Electrical Engineering and Computer Science","description":"Just another Lassonde - Site Network Sites site","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/lassonde.yorku.ca\/eecs\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"_links":{"self":[{"href":"https:\/\/lassonde.yorku.ca\/eecs\/wp-json\/wp\/v2\/mec-events\/3199","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lassonde.yorku.ca\/eecs\/wp-json\/wp\/v2\/mec-events"}],"about":[{"href":"https:\/\/lassonde.yorku.ca\/eecs\/wp-json\/wp\/v2\/types\/mec-events"}],"author":[{"embeddable":true,"href":"https:\/\/lassonde.yorku.ca\/eecs\/wp-json\/wp\/v2\/users\/286"}],"replies":[{"embeddable":true,"href":"https:\/\/lassonde.yorku.ca\/eecs\/wp-json\/wp\/v2\/comments?post=3199"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/lassonde.yorku.ca\/eecs\/wp-json\/wp\/v2\/media\/3230"}],"wp:attachment":[{"href":"https:\/\/lassonde.yorku.ca\/eecs\/wp-json\/wp\/v2\/media?parent=3199"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lassonde.yorku.ca\/eecs\/wp-json\/wp\/v2\/tags?post=3199"},{"taxonomy":"mec_category","embeddable":true,"href":"https:\/\/lassonde.yorku.ca\/eecs\/wp-json\/wp\/v2\/mec_category?post=3199"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}