At ICSE 2027, we are excited to present the following keynote speakers:
Mark Harman
|
Title: Automated Verification and Testing of Agentic AI Abstract: Agentic AI enhances our ability to automate verification and testing, while sharply intensifying their difficulty and impact. Such intensified demands and expanded opportunities apply to coding agents, to agents deployed within organizations, and to agents deployed to end users. This talk reviews the ways AI has already reshaped the approach, philosophy, and purpose of automated testing and verification, setting out open scientific and technical problems for the software engineering research community, whose contributions and insights have never been more important. Bio: Mark is a full professor at UCL and a full-time Senior Research Scientist at Meta, which acquired his startup, Majicke, in 2017. His work has over 50,000 citations and has been used by Microsoft, Google, Ericsson, Motorola, and Daimler. His automated unit and end-to-end testing are embedded in Meta's core infrastructure, testing products relied on by over 3 billion people and 200 million businesses. He received the IEEE Harlan D. Mills Award and ACM SIGSOFT Outstanding Research Award in 2019, and is a Fellow of the Royal Academy of Engineering (2020) and the ACM Software Engineering Academy (2026). |
|
|
|
Gail Murphy
|
Title: [KEYNOTE TITLE] Abstract: [ABSTRACT] Bio: [BIO] |
|
|
|
Bashar Nuseibeh
|
Title: [KEYNOTE TITLE] Abstract: [ABSTRACT] Bio: [BIO] |