About
Hi, my name is Dimitrios Tsintsilidas!
I am a third-year PhD student at the Computer Science Department of the University of Warwick, member of the Theory and Foundations group and the Centre for Discrete Mathematics and its Applications (DIMAP), advised by Igor Carboni Oliveira and Christian Ikenmeyer. My research is supported by the Chancellors' International Scholarship.
Previously, I studied Pure Mathematics (Algebra & Logic) at Aristotle University of Thessaloniki and completed my Diploma in Electrical & Computer Engineering with a thesis on Quantum Cryptography at LIP6, CNRS/Sorbonne University.
Publications
Thesis
Certifiable Random Number Generation Using Nonlocal Games
Sheaves on Topological Spaces, Sites and Group Categories
Talks and Presentations
Provability of the Circuit Size Hierarchy
Nonlocal Games and Verification of Quantum Computation
Metamathematics of Computational Complexity Theory
Teaching
University of Warwick - Teaching Assistant
- Led weekly problem-solving sessions
- Graded assignments and exams
- Held office hours for student consultations
- Conducted tutorial sessions on approximation techniques
- Assisted with algorithm design workshops
- Facilitated problem classes on group theory
- Provided feedback on coursework submissions
- Taught fundamental algorithm design techniques
- Conducted complexity analysis workshops