I am an associate professor in
of Computer and Information Sciences at
the University of
Delaware. I also hold a joint appointment
of Mathematical Sciences.
My current research interests include (1) formal
methods for software verification, (2) parallel and
scientific computing (especially with MPI), and (3)
applications of (1) to (2). As a recovering
mathematician (having worked in the cohomology and
representation theory of finite groups), I am always
looking for new applications of mathematics and
logic to problems in computer science.
I direct the Verified Software
Laboratory, which conducts research and develops
tools targeting the problems above. The
Toolkit for Accurate
Scientific Software (TASS), a verifier for C/MPI
programs, is our flagship product. Our software,
publications, and experimental artifacts are all
available on the VSL web page.