Thomas Wahl
Thomas Wahl
Thomas Wahl
Thomas Wahl
Labs and Groups
Labs and Groups
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 in 2011. He moved to Boston from Oxford University, where he was a research officer in the Computing Laboratory. Prior to Oxford, Wahl held a postdoctoral position at the Swiss Federal Institute of Technology (ETH) in Zurich.
Wahl’s research concerns the reliability and security 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 unintuitive and nearly untestable program bugs.
He has also investigated the fragility of floating-point arithmetic code when run on heterogeneous or custom-made embedded platforms, or when accelerated using aggressive compiler optimizations. He is also interested in the impact of compiler code transformations on security “guarantees” made in high-level program representations such as source code.
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.
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 in 2011. He moved to Boston from Oxford University, where he was a research officer in the Computing Laboratory. Prior to Oxford, Wahl held a postdoctoral position at the Swiss Federal Institute of Technology (ETH) in Zurich.
Wahl’s research concerns the reliability and security 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 unintuitive and nearly untestable program bugs.
He has also investigated the fragility of floating-point arithmetic code when run on heterogeneous or custom-made embedded platforms, or when accelerated using aggressive compiler optimizations. He is also interested in the impact of compiler code transformations on security “guarantees” made in high-level program representations such as source code.
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.
Projects
Projects
Recent Publications
Recent Publications
Past PhD Students
Past PhD Students
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...