Reliability of complex and mission-critical computing systems
Thomas Wahl joined Northeastern University as an Assistant Professor in 2011. He moved to Boston from Oxford/United Kingdom, where he was a Research Oﬃcer in the Computing Laboratory (now Department of Computer Science). Prior to the Oxford experience, Dr. Wahl held a postdoctoral position at the Swiss Federal Institute of Technology (ETH) in Zu¨rich. He obtained a PhD degree in Computer Science from the University of Texas at Austin in 2007.
Dr. 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 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 ﬂoating-point arithmetic can “hijack” a program’s computation when run on non-standard architectures, such as heterogeneous and custom-made embedded platforms.
Dr. Wahl has (co-)authored numerous publications on the veriﬁcation of software. He is also regularly serving on the program committees of leading conferences in the ﬁeld of Formal Methods, such as Computer-Aided Veriﬁcation, and he is serving as the co-chair of the 2015 Formal Methods in Computer-Aided Design (FMCAD) conference.
The brightest and most innovative in the industry