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

BEAT 2019Author of Invited Talk: On Type-Based Complexity Analysis of Programs and Processes within the BEAT 2019-track
LAFI 2019Author of The Geometry of Bayesian Programming within the LAFI (né PPS)-track
DICE-FOPARA 2019Committee Member in Steering Committee (DICE) within the DICE-FOPARA-track
ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
ETAPS 2019Committee Member in Steering Committee
POPL 2019Author 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 2018Committee Member in External Review Committee within the Research Papers-track
ICFP 2017Author of Automating Sized-Type Inference for Complexity Analysis within the Research Papers-track
Off the Beaten Track 2017Author of How Far Apart Should Those Programs Be? within the OBT-track
POPL 2017Author of The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects within the POPL-track
PPS 2016Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the PPS 2016-track
ICFP 2016Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the Research Papers-track