Ugo Dal Lago
Professor
Department of Computer Science and Engineering
Bologna University
Italy
Biography
Dr. Ugo Dal Lago is affiliated to Department of Computer Science and Engineering, Bologna University, ITALY. Dr. Ugo Dal Lago is currently providing services as Professor. Dr. Ugo Dal Lago has authored and co-authored multiple peer-reviewed scientific papers and presented works at many national and International conferences. Dr. Ugo Dal Lago contributions have acclaimed recognition from honourable subject experts around the world. Dr. Ugo Dal Lago is actively associated with different societies and academies. Dr. Ugo Dal Lago academic career is decorated with several reputed awards and funding.
Research Interest
Computational Complexity Implicit
Publications
-
From the Lake, Ugo; By Giamberardino, Paolo , On session types and polynomial time , «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 1433 - 1458
-
From the Lake, Ugo , Infinitary Lambda Calculi from a Linear Perspective , in: Proceedings of the 31st Annual ACM / IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 447 - 456 (acts of: 31st Annual ACM / IEEE Symposium on Logic in Computer Science, LICS 2016, Columbia University, New York, USA, 2016)
-
Borgström, Johannes; From the Lake, Ugo; Gordon, Andrew D .; Szymczak, Marcin , A lambda-calculus foundation for universal probabilistic programming , in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ACM, 2016, pp. 33 - 46 (acts of: ICFP, Nara, Japan, September 2016)
