Ugo Dal Lago -

Registered user since Sat 24 Jun 2017

Name: Ugo Dal Lago

Country: Italy

Affiliation: University of Bologna, Italy / Inria, France

Personal website: http://www.cs.unibo.it/~dallago/

Research interests: Programming Language Theory, Probabilistic Computation, Quantum Computation, Cryptography

Contributions

POPL 2020	Committee Member in Program Committee within the Research Papers-track
BEAT 2019	Author of Invited Talk: On Type-Based Complexity Analysis of Programs and Processes within the BEAT 2019-track
LAFI 2019	Author of The Geometry of Bayesian Programming within the LAFI (né PPS)-track
DICE-FOPARA 2019	Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
ESOP 2019	Author of Effectful Normal-Form Bisimulation within the ESOP 2019-track Committee Member in Program Committee within the ESOP 2019-track
ETAPS 2019	Committee Member in Steering Committee
POPL 2019	Author of [T7] Higher-Order Probabilistic Programming within the TutorialFest-track Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track
ICFP 2018	Committee Member in External Review Committee within the Research Papers-track
ICFP 2017	Author of Automating Sized-Type Inference for Complexity Analysis within the Research Papers-track
Off the Beaten Track 2017	Author of How Far Apart Should Those Programs Be? within the OBT-track
POPL 2017	Author of The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects within the POPL-track
PPS 2016	Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the PPS 2016-track
ICFP 2016	Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the Research Papers-track