Daniel Kröning: Automated Reasoning at Amazon
Prof. Daniel Kröning, Senior Principal Scientist at Amazon AWS, will talk about automated reasoning and scaling verification for increasing features.
TU Wien, Campus Favoritenstraße
FAV Hörsaal 1 Helmut Veith
1040 Vienna, Favoritenstraße 9-11
Erdgeschoß, Raum HEEG02
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.
This lecture is part of course UE 185.A93 and takes place on-site only.