I am an associate professor in the Department of Computer and Information Sciences at the University of Delaware. I also hold a joint appointment in the Department 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.