* Ronaldo Ferreria, 2006 (Universidade Federal de Mato Grosso Do Sul, Brazil)
* Adam Welc, 2006 (Mysten Labs)
Research Experience
- Teaching Experience: Fall 2025 - Programming Languages (undergraduate); Spring 2025 - Programming Languages (graduate)
Background
- Research Interests: Design, Implementation, Semantics, and Analysis of Programming Languages; Program Verification, Analysis, and Synthesis; Functional Programming and Type Systems; Concurrent and Distributed Programming; Machine Learning and Programming Languages