ITU
Andrea Vezzosi

Andrea Vezzosi

Postdoc

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C15

Information Desk: 72185000

View graph of relations

Research outputs (2)

  1. Published

    Formalizing 휋-calculus in guarded cubical Agda

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. Published

    Cubical agda: a dependently typed programming language with univalence and higher inductive types

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Prizes (1)

  1. ICFP'19 Distinguished Paper Award

    Prize: Prizes, scholarships, distinctions

Recent activities and conferences

ID: 83795328