Publications

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