Stephen Siegel

Stephen Siegel is an Associate Professor at the University of Delaware with a joint appointment in the Department of Computer and Information Sciences and the Department of Mathematical Sciences. Holding a PhD in Mathematics from the University of Chicago (1993), he transitioned from finite group theory research to formal methods in computer science, focusing on verification of parallel and scientific software.

His research centers on the Verified Software Laboratory (VSL) and the CIVL Model Checker for HPC program verification. Recent work includes formal verification of PETSc components at CAV 2025 and collective contract frameworks for message-passing programs.

Research Interests

• Formal methods for software verification
• Parallel and HPC software reliability
• Model checking techniques
• Application of mathematical logic to computing

Academic Service Highlights

• Program Committee & Publication Chair, CAV 2025
• Co-organizer, International Workshop on Verification of Scientific Software (VSS 2025)
• Chair, VerifyThis competition (2023)
• Editorial service at IEEE Transactions on Software Engineering (2015-2019)

Teaching Portfolio

• CISC 404/604: Logic in Computer Science
• CISC 414/614: Formal Methods in Software Engineering
• CISC 372: Parallel Computing (MPI/OpenMP/CUDA instruction)
• Advanced Topics courses: Model Checking, Abstract Interpretation