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
Carlo Angiuli
Has grant
Assistant Professor
United StatesResearch Interests
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.
Explore related searches
About
Carlo Angiuli is an Assistant Professor at Indiana University, USA. His research focuses on order-theoretic analysis, type theory, and the study of polymorphism in programming languages. His recent articles include topics such as the syntax and models of Cartesian cubical type theory and representation independence in the context of univalence.
Recent Grants
Grant: Open
Univalent Verification of Parameterized Structures
Open Date: 2024-09-30
Close Date: 2027-09-29
Articles (8)
Year:
2026
Year:
2026
Year:
2026
Year:
2025
Year:
2023
Year:
2022
Year:
2021
Year:
2021
Collaborators (6)
Kuen-Bang Hou
Assistant Professor
University of Minnesota
Jonathan Sterling
Associate Professor
University of Cambridge
Daniel Gratzer
Assistant Professor
Aarhus University
Reed Mullanix
University of Minnesota
Daniel R Licata
Assistant Professor
Wesleyan University
Youyou Cong
Assistant Professor
Tokyo Institute of Technology
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.