Michael Tautschnig

Dr. Michael Tautschnig is a Lecturer in Theoretical Computer Science at Queen Mary University of London, School of Electronic Engineering and Computer Science. He holds a PhD from Vienna University of Technology (2011) and a Master's from TU Munich (2006). His academic roles include Director of Undergraduate Admissions and teaching modules like Programming for Artificial Intelligence and Data Science. He has extensive industry experience as a Senior Software Development Engineer at Amazon Web Services (AWS), focusing on security and verification.

Research interests include software verification, concurrency, decision procedures, formal methods, and embedded systems. He has contributed to projects like CBMC (C Bounded Model Checker) and FShell, emphasizing tools for program analysis and testing. His work spans formal verification of low-level software, weak memory models, and automated testing frameworks.

Publications highlight contributions to model checking, concurrency analysis, and verification competitions. Awards include a patent for API optimization and a best paper award. He has secured grants such as the Google Faculty Research Award (2014-2015) and GCHQ Small Grant (2014-2015). Active in conference organization (e.g., CAV, TACAS) and program committees, he promotes academic-industrial collaboration in software verification.

Labs/Teams: Collaborations include AWS Security, University of Oxford, and TU Wien. His work bridges academia and industry, focusing on scalable verification tools for large software systems.