Speaker: Michael Tautschnig

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.