Kegan McIlwaine

Ph.D. Student - Computer Science - University of Wyoming

Research

• Session Types & Linear Logic
• Formal Methods

Experience

• 9 Years - Full Stack Web Development (Angular/Javascript, HTML/CSS, .NET, PostgreSQL)
• 6 Years - Interactive theorem proving in Isabelle
• 6 Years - Haskell Development

Classes

• Principles of Programming Langauges - Teaching Assistant - Spring 2026
• Computability and Complexity - Teaching Assistant - Spring 2026, Fall 2025, Spring 2022
• Functional Programming - Teaching Assistant - Fall 2025
• Algorithms and Data Structures - Teaching Assistant - Spring 2020