College of Computer and Information Science

Northeastern University
360 Huntington Avenue
Boston, Massachusetts 02115

Office: 202 West Village H, room 344
wahl[ -- ät -- ]
                                      Thomas Wahl                   
Northeastern University


  • My student Yijia Gu's (and other co-authors') paper on detecting dependencies of decision-making programs on computation platform specifics, which can undermine program portability, has appeared at EUROPAR 2015.
  • Joint work with Martin Brain (U Oxford), Cesare Tinelli (U Iowa), and Philipp Ruemmer (Uppsala University) has resulted in a new formalization of IEEE-754 compliant Floating-Point Arithmetic (FPA), this time suitable for as specification language for SMT solvers that implement FPA decision procedures. Published at ARITH22 (no, the conference name doesn't refer to the year 2022).

Conference program or organizing committees:

Brief bio:

  • 2011 - present: Assistant Professor, Northeastern University, College of Computer and Information Science
  • 2009 - 2011: Research Assistant, Oxford University, Department of Computer Science (formerly "Computing Laboratory"), UK
  • 2007 - 2009: Lecturer and Postdoc, Swiss Federal Institute of Technology (ETH), Zurich, Switzerland
  • 2007, 2005: Ph.D. & M.S., University of Texas, Austin


General research interests:

  • Software verification, such as using predicate abstraction, SAT- and SMT solvers, decision procedures, interpolation;
  • Infinite-state system verification, such as modeling and analyzing arbitrarily replicated multi-threaded programs via counter systems and Petri nets;
  • Automata theory in formal verification, such as for LTL model checking

Research sponsors:

National Science
                                      Foundation Draper Labs
Page last modified in Spring 2015. Design borrowed in part from Domagoj Babic