Professor Wahl is interested in algorithms and tools for analyzing complex automated systems. He focuses on methods that require little human assistance, such as model-checking, which are helpful in identifying previously undetected and critical system errors in applications such as embedded systems for the automotive industry. Recently, he has been working on software verification techniques, especially shared-variable multi-threaded programs. He has (co-)authored numerous publications on both verification and model checking and is also interested in theoretical aspects of computing and discrete computational geometry.
Before joining Northeastern University, Professor Wahl held postdoctoral positions at the Swiss Federal Institute of Technology (ETH) in Zurich, and, most recently, at Oxford University. He obtained a PhD in computer science from the University of Texas at Austin in 2007.