Michael Theobald is involved in formal verification for Anton. He received a Ph.D. from Columbia University, and a Diplom at Johann Wolfgang Goethe-Universität, both in computer science. Michael teaches as an Adjunct Professor in the Computer Science Department at Columbia University. Prior to joining DESRES, he was a Postdoctoral Fellow in the Computer Science Department at Carnegie Mellon University, where his research involved formal verification and asynchronous circuits. In his spare time, Michael loves to play soccer.