conf.researchr.org / Ugo Dal Lago
Registered user since Sat 24 Jun 2017
Name:Ugo Dal Lago
Country:Italy
Affiliation:University of Bologna; Inria
Personal website: http://www.cs.unibo.it/~dallago/
Research interests:Programming Language Theory, Probabilistic Computation, Quantum Computation, Cryptography
Contributions
2024
2023
2022
HOPE
ICFP
- Session Chair of Keynote (part of ICFP Papers and Events)
- Committee Member in Program Committee within the ICFP Papers and Events-track
- Author of On Feller Continuity and Full Abstraction within the ICFP Papers and Events-track
- Author of Multi Types and Reasonable Space within the ICFP Papers and Events-track