Your Twin learns with you

30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Kenneth McMillan

Professor

University of Texas at Austin
Country flagUnited States

Research Interests

ApplyKite TwinLearns as you apply

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

ISRAEL
View details

Nate Foster

Professor

EPFL (École Polytechnique Fédérale de Lausanne)

SWITZERLAND
View details

David Basin

Professor

ETH Zürich

SWITZERLAND
View details

Sharon Shoham

Tel Aviv University

ISRAEL
View details