Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Kenneth McMillan
Professor
Research Interests
Make your next move.
Prepare your application
Review drafts before you send them.
Explore related searches
About
Professor Kenneth McMillan is a faculty member at The University of Texas at Austin, USA. His research primarily focuses on the intersection of current and formal specifications for protocols, as highlighted in his recent article, "It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols." With a commitment to advancing understanding in this area, he contributes significantly to the field through his academic work.
Articles (2)
Year:
2026
Year:
2025
Collaborators (4)
Oded Padon
Senior Scientist (Assistant Professor)
Weizmann Institute of Science
Nate Foster
Professor
EPFL (École Polytechnique Fédérale de Lausanne)
David Basin
Professor
ETH Zürich
Sharon Shoham
Tel Aviv University
Make your next move.
Prepare your application
Review drafts before you send them.