Concepedia

Andrea Vezzosi

AV

8

Publications

262

Citations

8

H-Index

2016

Active since

Affiliations

Chalmers University of Technology(Current)

University of Gothenburg

IT University of Copenhagen

IMDEA Software Institute

Stockholm University

Andrea Vezzosi is an author at Chalmers University of Technology specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationVerificationComputer ScienceProgram AnalysisSyntaxSoftware AnalysisProgramming Languages

Publications per year

2016–2021

8

Publications

8

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

Andrea Vezzosi, Anders Mörtberg, Andreas Abel · Proceedings of the ACM on Programming Languages · 2019 · 71 citations · Full text

Engineering, Type Theory, Cubical Primitives +17

Decidability of conversion for type theory in type theory

Andreas Abel, Joakim Öhman, Andrea Vezzosi · Proceedings of the ACM on Programming Languages · 2017 · 59 citations · Full text

Engineering, Automated Reasoning, Type Theory +8

Parametric quantifiers for dependent type theory

Andreas Nuyts, Andrea Vezzosi, Dominique Devriese · Proceedings of the ACM on Programming Languages · 2017 · 37 citations · Full text

Polymorphic Type Systems, Engineering, Automated Reasoning +8

Normalization by evaluation for sized dependent types

Andreas Abel, Andrea Vezzosi, Théo Winterhalter · Proceedings of the ACM on Programming Languages · 2017 · 26 citations · Full text

Mathematical Programming, Engineering, Type Theory +18

Cubical Agda: A dependently typed programming language with univalence and higher inductive types

Andrea Vezzosi, Anders Mörtberg, Andreas Abel · Journal of Functional Programming · 2021 · 26 citations

Engineering, Type Theory, Verification +17

Rows per page

1–5 of 8