Ugo Dal Lago

Ugo Dal Lago is full professor of Computer Science since 2019 and a faculty member of the Computer Science Lab since 2006. Before that, he has been a postdoc in Verona and Paris. He has been involved in many international research projects; currently, he is principal investigator of the ERC CoG project "Differential Program Semantics". He co-authored more than 100 publications which appeared in journals and conference proceedings. He is the winner of the prize for the best italian doctoral thesis in theoretical computer science (2006), of the Kleene Award (2006) and of the prize for the best young researcher in theoretical computer science (2015). Go to the Curriculum vitae