Skip to content

The Devil in the Details

Formal methods, concurrency, and verification

  • Home
  • Archive
  • About
  • Contact
  • CISC372

Archive

  • Playing with ChatGPTJanuary 22, 2023
  • VerifyThis 2023: Call for ProblemsDecember 18, 2022
  • Verification of a Barrier Algorithm, part 1December 11, 2022
  • CIVL Verification of Lock-free Hash SetApril 3, 2022
  • An Alloy Model for Derivations by Natural DeductionDecember 26, 2021

About This Site

I am Stephen Siegel, an Associate Professor in the Computer & Information Sciences Department, with joint appointment in the Department of Mathematical Sciences, at the University of Delaware.  My Blog deals with concurrency, logic, verification, and related topics.

Search

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Please consider leaving a comment. You must first create an account, but you only have to do that once. This is to prevent Spam.

Proudly powered by WordPress | Theme: Libre by Automattic.