معرفی
Ugo Dal Lago is a Professor of Computer Science at the University of Bologna since November 2015 and maintains a dual affiliation with INRIA Sophia Antipolis. His academic career demonstrates extensive involvement with top-tier conferences including POPL, ICFP, ESOP, and ETAPS where he has served both as author and committee member.
His research focuses on theoretical computer science with particular emphasis on programming language theory and quantitative aspects of computation. Dal Lago's work explores computational models beyond classical paradigms, including randomized, Bayesian, and quantum computing approaches. His contributions span from foundational complexity analysis techniques for functional programs to cutting-edge research in quantum programming languages.
Analysis of his publication record (2022-2025) reveals three dominant research trajectories: quantum computing (with focus on circuit analysis and resource estimation), probabilistic computation (particularly on program equivalence and termination properties), and advanced type systems (intersection types, effect systems, and coeffect systems). His work consistently bridges theoretical foundations with practical applications, especially in emerging computational paradigms.
- Quantum Computing: Multiple publications on quantum circuit analysis, resource estimation, and multiparty protocols
- Probabilistic Programming: Research on almost-sure termination, expected cost analysis, and program equivalence
- Type Theory: Development of intersection types and effect systems for program verification
- Formal Methods: Application of Floyd-Hoare logic to quantum program verification
- Cryptography: Work on computational indistinguishability and logical relations for security proofs
Dal Lago serves on steering committees for major conferences including DICE-FOPARA and ETAPS, and has been a program committee member for POPL, ICFP, and ESOP. His research demonstrates increasing focus on quantum information processing, with quantum-related publications comprising over 40% of his output in the most recent two years.
