Publications

Preprints

• Provability of the Circuit Size Hierarchy and Its Consequences
  joint work with Marco Carmosino, Valentine Kabanets, Antonina Kolokolova
  and Igor C. Oliveira

Thesis

• Certifiable Random Number Generation Using Nonlocal Games
  Diploma Thesis, supervised by Alex Bredariol Grilo
• Sheaves on Topological Spaces, Sites and Group Categories
  Master’s Thesis, supervised by Chrysostomos Psaroudakis

Notes

• Methods of Witnessing in Bounded Arithmetic
• Fundamental Group and Universal Covering of Lie Groups