Section: Highlights of the Year

Highlights of the Year

Awards

• Ugo Dal Lago has been awarded an ERC CoG for his project “Differential Program Semantics” (DIAPASoN), which started on March 1st, 2019.

• Francesco Gavazzo has received the award for “Best Italian PhD Thesis in Theoretical Computer Science”, by the Italian Chapter of EATCS (European Association for Theoretical Computer Science)

• Raphaëlle Crubillé has been awarded the “prix de thèse Gilles Kahn 2019 (Societé Informatique de France and Académie des Sciences)