The site of Sean Kauffman Ph.D., an assistant professor in safety-critical software engineering
© Sean Kauffman 2025
Added RV’22 and ISoLA’22 papers and updates to resume.