Registered user since Thu 8 May 2025
Name:Juli O’Connor
Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://julianaoconnor.com/
Research interests:Programming languages, Type Theory, Proof Assistants
Contributions
2025
Using general profile