The site of Sean Kauffman Ph.D., a professor in formal methods and safety-critical software
© Sean Kauffman 2023
Updated the site to reflect the completion of my Ph.D.