Ugo Dal Lago

Um olhar sobre a verificação de programas usando model checking em meio a comportamentos complexos.

Uma exploração de funcionais de ordem superior eficientes e suas implicações na computação.

Explorando a conexão entre lógica de separação e segurança criptográfica através da independência.

Um novo método para estimar recursos em circuitos de computação quântica.

Explorando maneiras de proteger informações através de sistemas criptográficos.

Um olhar sobre como as partes compartilham informações em computação quântica.

Um olhar sobre como a aleatoriedade molda as técnicas computacionais modernas.