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

Talk : Formal Methods at Amazon Web Services

Other talks from track Modern CS in the Real World

CTO and co-founder @AzulSystems
Researcher in Information Security at Graz University of Technology
Distributed Systems PhD Candidate @CambridgeComputerLab
Software Engineer, Author, & Samza and Avro Committer

Tracks