Skip to main content

Thomas Wahl

Assistant Professor

Thomas Wahl

Contact

Office Location

440 Huntington Avenue
344 West Village H
Boston, MA 02115

Mailing Address

Northeastern University
ATTN: Thomas Wahl, 202 WVH
360 Huntington Avenue
Boston, MA 02115

Research Interests

Reliability of complex and mission-critical computing systems

Education

  • PhD in Computer Science, University of Texas at Austin
  • MS in Computer Science, University of Texas at Austin

Biography

Thomas Wahl joined Northeastern University as an Assistant Professor in 2011. He moved to Boston from Oxford University where he was a research officer in the Computing Laboratory, now the Department of Computer Science. Prior to his Oxford experience, Professor Wahl held a postdoctoral position at the Swiss Federal Institute of Technology (ETH) in Zurich. He obtained his PhD in Computer Science from the University of Texas at Austin in 2007.

Professor Wahl’s research concerns the reliability of complex and mission-critical computing systems. Two domains notorious for their fragility are concurrency and numerical computing. With his colleagues, Wahl has developed leading algorithms and techniques that permit the automated analysis of concurrent software such as multi-threaded or data-parallel programs using rigorous formal techniques, which are able to track down deep, unintuitive and nearly untestable program bugs. He has also investigated how floating-point arithmetic can “hijack” a program’s computation when run on non-standard architectures, such as heterogeneous and custom-made embedded platforms.

Professor Wahl has co-authored numerous publications on the verification of software. He also regularly serves on the program committees of leading conferences in the field of Formal Methods, such as Computer-Aided Verification, and has also served as the co-chair of the Formal Methods in Computer-Aided Design (FMCAD) conference in 2015.