College of Computer and Information Science

Northeastern University
360 Huntington Avenue
Boston, Massachusetts 02115

Office: 202 West Village H, room 344
Phone:
++1-617-373-3100
Email:
wahl[ -- ät -- ]ccs.neu.edu
                                      Thomas Wahl                   
Northeastern University


NEWS:





What I've been up to:

  • I am organizing the FMCAD 2013 Student Forum, an opportunity for graduate students to present their (possibly early-stage, unfinished) research to the Formal Methods community.
  • Summer 2013: the CESAR Book is out
CESAR Book




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
  • 1998: Invited Researcher, Advanced Telecommunications Research (ATR), Nara, Japan
  • 1997: University Diploma in Informatics, Würzburg, Germany




Awards:




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 SRC DARPA
Page last modified in Fall 2013. Design borrowed in part from Domagoj Babic