Ugo Dal Lago

Un aperçu de la vérification de programmes par vérification de modèles face à des comportements complexes.

Une exploration des fonctionnels d'ordre supérieur efficaces et de leurs implications en informatique.

Explorer le lien entre la logique de séparation et la sécurité cryptographique à travers l'indépendance.

Une nouvelle méthode pour l'estimation des ressources dans les circuits de calcul quantique.

Explorer des méthodes pour protéger les infos grâce à des systèmes cryptographiques.

Un aperçu de comment les parties partagent des infos en informatique quantique.

Un aperçu de comment le hasard façonne les techniques de calcul modernes.