Scholar
Carlo Angiuli
Google Scholar ID: eM1H0SwAAAAJ
Assistant Professor, Indiana University
Citations & Impact
Citations
423
H-index
11
i10-index
12
Publications
20
Co-authors
4
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple academic papers, including 'An Order-Theoretic Analysis of Universe Polymorphism' (POPL 2023), 'A Cubical Language for Bishop Sets' (Logical Methods in Computer Science, 2022), and more. Also received the Best Paper Award by Junior Researchers at FSCD 2019.
Research Experience
- Currently co-authoring a book on dependent type theory with Daniel Gratzer. Advising multiple Ph.D. students.
Education
- Ph.D. from Carnegie Mellon University (CMU), advisor: Robert Harper. Received the School of Computer Science Distinguished Dissertation Award.
Background
- Assistant professor of computer science in the Luddy School at Indiana University. Research interests include programming languages and logic, particularly through the lens of type theory, a logical framework for computer programs and mathematical proofs. Main research areas are dependent types, proof assistants, and homotopy type theory.
Miscellany
- Email address changing from @indiana.edu to cangiuli@iu.edu.
