I am Stephen F. Siegel, an assistant professor in the Department of Computer & Information Sciences at the University of Delaware. I also hold a joint appointment in the Department of Mathematical Sciences.

My 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.