|
|
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 |
|
 |
NEWS:
(i) Potential faculty: Northeastern
CCIS is hiring.
(ii) Potential
students: We are looking for Ph.D. students working in the area of Formal Methods.
If you consider applying,
scan my
current research via the links provided on the left, and drop me an
email.
What I've been up to:
- Spring 2012: Teaching Logic
and
Computation, an introductory course on logic, and its role in
reasoning about computation, especially using ACL2s
- January 2012: Pre-POPL Yak
at NYU: separation logic,
abstract interpretation, and a dash concurrency
- October 2011: FMCAD (and
Halloween) in Austin/TX.
Tutorial by Ivan Sutherland. Aaron Bradley's IC3 has everyone talking.
Consider submitting!
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
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.
|
|
|
|
|
