Abstract

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.

About Daniel Kröning

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.

For students

This lecture is part of course UE 185.A93 and takes place on-site only.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.