Ugo Dal Lago

Una mirada al model-checking para la verificación de programas en medio de comportamientos complejos.

Una exploración de funcionales de orden superior eficientes y sus implicaciones en la computación.

Explorando el vínculo entre la lógica de separación y la seguridad criptográfica a través de la independencia.

Un nuevo método para estimar recursos en circuitos de computación cuántica.

Explorando métodos para proteger información mediante sistemas criptográficos.

Una mirada a cómo las partes comparten información en computación cuántica.

Una mirada a cómo la aleatoriedad moldea las técnicas computacionales modernas.