![](https://archive.qconlondon.com/sites/qcon_london/files/styles/240x240/public/badge_small.jpg?itok=Vbv2rD61)
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.