PoP Seminar Talk

Automated Reasoning at Amazon

Daniel Kroening, Senior Principal Scientist, Amazon
Thursday, 22 June, 2023; 3:00 pm
GHC 4405
Host: Ruben Martins


Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform, offering over 200 fully featured services from data centers globally. This talk will give an overview of work at Amazon that uses automated reasoning to deliver provable guarantees for these products, and how we can scale formal verification to keep up with the rapidly growing number of features.


Daniel Kroening finished his Doctorate in Computer Science at Saarland University in 2001. Until 2020, he was professor for Computer Science at the University of Oxford. Today, Daniel Kroening is working as Senior Principal Scientist at Amazon AWS. He is interested in automated reasoning for hardware and software systems, in large-scale hard- and software implementations given in languages like C or C++, and systems that make use of concurrent threads of execution.