Marco Gaboardi

Aprenda como frameworks de programação melhoram a privacidade diferencial para análise de dados.

Uma olhada no TopKAT e seu papel na análise de programas de computador.

Um olhar sobre as complexidades da álgebra de Kleene com condições de comutatividade.