conf.researchr.org / Niccolò Veltri
Niccolò Veltri

Registered user since Sat 2 Feb 2019

Name:Niccolò Veltri
Country:Denmark
Affiliation:IT University of Copenhagen
Personal website:https://niccoloveltri.github.io
Research interests:Type theory, logic, constructive mathematics, semantics

Contributions

ICFP 2022 Committee Member in Program Committee within the ICFP Papers-track
ICFP 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2019 Author of Bisimulation as Path Type for Guarded Recursive Types within the Research Papers-track
ICFP 2019 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track