• Sign in
  • Sign up
conf.researchr.org / Niccolò Veltri
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2022 profile
  • POPL 2019 profile
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

2022

ICFP

  • Committee Member in Program Committee within the ICFP Papers and Events-track

2020

ICFP

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2019

ICFP

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

POPL

  • Author of Bisimulation as Path Type for Guarded Recursive Types within the Research Papers-track
Share
xWed 4 Oct 14:58
using conf.researchr.org (v1.61.3)
Support page
Sign Up