Hardware Design and Engineering

Michael Theobald

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.

Return to Hardware Design and Engineering
Return to People