Presentation: Formal Methods at Amazon Web Services

Track: Modern CS in the Real World

Location: Churchill, G flr.

Duration: 11:50am - 12:40pm

Day of week: Monday

Level: Advanced

Share this on:


Security is a top priority at Amazon Web Services. As we have a shared responsibility model with customers, AWS manages the components from the operating system down to the physical security of the facilities; AWS customers are responsible for building secure applications on top of it. In this talk I will describe tools that support our customers in securing their applications, and tools that we use to secure the infrastructure. Under the hood, these tools use formal methods to provide guarantees to our customers.

Speaker: Michael Tautschnig

Software Development Engineer @AWS Security

Michael Tautschnig is a Software Development Engineer at AWS Security. He received his PhD from Vienna University of Technology, working on Query-Driven Program Testing. Michael publishes on automated program analysis, with a focus on applications of model checking.

Find Michael Tautschnig at