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

ICFP 2017 Activities

• Author of Automating Sized-Type Inference for Complexity Analysis within the Research Papers-track in ICFP 2017
• Show activities from other conferences