Marco Gaboardi

Apprends comment les frameworks de programmation améliorent la vie privée différentielle pour l'analyse des données.

Un aperçu de TopKAT et de son rôle dans l'analyse des programmes informatiques.

Un aperçu des complexités de l'algèbre de Kleene avec des conditions de commutativité.