bsd7.cs.stonybrook.edu.
As of December 31, 2025, that server will be retired (as will I).
I'm Gene Stark, Professor in the Computer Science Department at Stony Brook University.
My research interests have traditionally been the general area of programming language theory, having to do particularly with programming language semantics and concurrency theory. I have also worked on specification and verification of distributed algorithms, and I am interested in functional programming languages. I have had an interest in operating systems going back to working on Unix in the 1970's, but I only have a couple of published papers in that area. Since about 2016 I have worked on formalized mathematics using the Isabelle/HOL proof assistant. My work on those topics can mostly be found in the Archive of Formal Proofs.