Michael Theobald

Michael Theobald is a researcher at D. E. Shaw Research, focusing on the design and verification of specialized supercomputers for protein simulations. He has previously held postdoctoral and academic positions at Carnegie Mellon University (CMU) and Columbia University.

• Education: Ph.D. in Computer Science from Columbia University (2002), Postdoctoral Fellow at CMU (2002-2004), and Diplom in Computer Science from Johann Wolfgang Goethe-Universitaet (1994).

His research interests span formal verification of software and hardware systems, asynchronous (“clock-less”) circuits, and efficient algorithms for combinatorial optimization. He has contributed to advancements in BDD and SAT techniques, logic synthesis, and hybrid systems verification, with applications in systems biology and robotics.

Michael's publications emphasize formal methods, including model checking, abstraction refinement, and SAT-based algorithms applied to hybrid and asynchronous systems. These works align with his broader expertise in embedded systems and computer-aided design.