Skip to content

Ken McMillan’s Home Page

Home
Contact
Projects
Talks
Tools
Papers
Classes

Contact

email: kenmcm at cs dot university dot edu, where university is utexas.

Categories

Classes (2)
Research (5)
- Papers (3)
- Projects (3)
- Talks (1)
- Tools (3)

Archives

October 2023
January 2021
December 2019

Recent Posts

CS 371D – Distributed Computing
CS 395T: The Model Checking Paradigm
Modularity for decidability of deductive verification with applications to distributed systems
Duality
Formal specification and testing of QUIC

Home
Contact
Projects
Talks
Tools
Papers
Classes

Ken McMillan’s Home Page Proudly powered by WordPress