Ugo Dal Lago

About

Ugo Dal Lago is an Associate Professor at the Università degli Studi di Bologna, Italy. His research focuses on areas such as circuit width estimation, type-based resource estimation in quantum circuit description languages, and the logical foundations for probabilistic computation. He has published recent articles addressing topics including model-checking for effectful programs, metric and differential semantics, and implicit computation complexity in higher-order programming languages.