Thomas Wahl is an Assistant Professor at the College of Computer and Information Science at Northeastern University in Boston. Prior to joining Northeastern, Wahl held postdoctoral positions at the Swiss Federal Institute of Technology (ETH) in Zurich, and at Oxford University. He obtained a Ph.D. from the University of Texas at Austin in 2007.
Wahl’s research interests include all aspects of formal verification, in particular model checking of software. He has made contributions to the automated analysis of replicated multi-threaded programs. These led to breakthroughs in model checking concurrent Boolean programs and were incorporated in SLAM-like tools for the automated analysis of low-level concurrent system software such as device drivers. Wahl has also made several contributions that connect finite-state model checkers to high-level software, such as predicate abstraction for concurrent programs, and logical modeling formalisms for programs and decision procedures for them. Currently, Wahl is also working on analyzing programs written for heterogeneous architectures, such as written in the OpenCL framework, for portability issues that result from uninformed uses of floating-point arithmetic.