Automated Reasoning at AWS
Daniel Kröning, AWS
Tuesday October 10, 14:00 - 15:00
Geb. 106: SR 00 007
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 verification to keep up with the rapidly growing number of features.
Daniel Kröning 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 Kröning 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.