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 as a 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