The site of Sean Kauffman Ph.D., a professor in formal methods and safety-critical software
© Sean Kauffman 2025
A long overdue update with some papers and a new page on career advice.