Inaugural Chair Lecture - Building Trustworthy Software and AI Systems by Prof. Lucas Cordeiro
| Dates: | 29 January 2025 |
|---|
| Times: | 13:00 - 14:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Computer Science |
|---|
| How much: | Free |
|---|
| Who is it for: | University staff, Current University students |
|---|
| Speaker: | Prof. Lucas Cordeiro |
|---|
|
Software and AI systems have become ubiquitous today, but their trustworthiness remains a pressing concern. In 2022 alone, poor software quality cost US companies $2.41 trillion, while the accumulated software technical debt has grown to approximately $1.52 trillion. Automated formal reasoning methods can play a crucial role in ensuring the trustworthiness of these systems. In this inaugural chair lecture, I will discuss the work conducted by our research group over the past 15 years, which pushes the boundaries in automated verification to establish a foundation for building trustworthy software and AI systems. I will cover our recent advancements that explore search, learning, memory, and parallelization for program verification, synthesis, and testing. I will also present practical applications of these methods via various industrial collaborations, such as inspecting firmware security verification in modern processors, verifying and repairing neural network implementations, and ensuring the reliability of communication protocols, including consensus specifications in blockchain technology.
Speaker
Prof. Lucas Cordeiro
Role: Professor of Computer Science
Organisation: The University of Manchester
Biography: Lucas C. Cordeiro is a Full Professor of Computer Science at the University of Manchester, UK, where he leads the Systems and Software Security Research Group and serves as Business Engagement and Innovation Director. He is also the Director of the Arm Centre of Excellence at Manchester. His work focuses on software model checking, automated testing, program synthesis, software security, embedded and cyber-physical systems. He has co-authored more than 160 peer-reviewed publications in the most prestigious venues and received various international awards, including the Most Influential Paper at ASE'23, the Distinguished Paper Award at ICSE'11 and ASE'24, and 46 awards from the international competitions on software verification (SV-COMP) and testing (Test-Comp) 2012-2024. He has a proven track record of securing research funding from the government (British Council, CAPES, CNPq, EPSRC, Royal Society, UKRI) and industry (ARM, Intel, Motorola, Nokia, Samsung).
Travel and Contact Information
Find event
Kilburn_TH 1.3
Kilburn Building
Manchester
