Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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 2019 Invited Talk: On Type-Based Complexity Analysis of Programs and Processes
LAFI 2019 The Geometry of Bayesian Programming
POPL 2019 [T7] Higher-Order Probabilistic Programming
Intersection Types and Runtime Errors in the Pi-Calculus
Show activities from other conferences

POPL 2019-profile
View general profile