|
|
College of Computer and Information
Science
Northeastern
University
360
Huntington Avenue
202
West Village H
Boston,
Massachusetts
02115
Office: 344
Phone: ++1-617-373-3100
Email: wahl[ -- ät --
]ccs.neu.edu |
|
 |
What I've
been up to:
Conference program or organizing
committees:
NEW:
I am organizing the FMCAD
2013 Student Forum, an opportunity for
graduate students to present their (early,
unfinished) research to the Formal Methods
community.
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 (supervised by E. Allen
Emerson, who co-won the 2007
ACM
Turing Award)
- 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
If you are a student and the above sound
appealing to you (or you think they do, but
you are not sure what they mean), read more
about my current research under the links
provided on the left. Then drop me an email or
come by.
Research sponsors:
|
|
