Theses

2026
Title Name Advisor Date
Parameterizing Block Treedepth by Bounded Depth Forest Deletion Ilias Kypraios
  • Archontia C. Giannopoulou
  • Dimitris Zoros
 01/04/2026
2025
Title Name Advisor Date
Bottom-Up Evaluation of Second-Order Datalog with Negation Antonis Gkanios
  • Angelos Charalambidis
  • Panagiotis Rondogiannis
 02/04/2025
Splittability within minor-closed classes to graphs of low maximum degree Orestis C. Milolidakis
  • Agelos Georgakopulos
  • Aris Pagourtzis
 21/03/2025
Two proofs of Peano Arithmetic’s Consistency Nikoleta Sevastou
  • Costas D. Koutras
  • Nikolaos Rigas
 19/03/2025
Pricing Games in Heterogeneous Parallel Networks Thomas Pappas
  • Thanasis Lianeas
 10/02/2025
Almost Envy-Free allocations in multigraphs Minas Marios Sotiriou
  • Evangelos Markakis
  • Alkmini Sgouritsa
 04/02/2025
2024
Title Name Advisor Date
Data-types as Objects Revisited: Insights and Proofs Vaios-Rafail Michalakis
  • Panagiotis Rondogiannis
  • Angelos Charalambidis
 18/12/2024
DeFi vulnerabilities in the eUTxO model Georgios Tsoumas
  • Aris Pagourtzis
 24/09/2024
Inefficiency of Ordinal One-Sided Matching Mechanisms Vasileios Stamatis
  • Dimitris Fotakis
 20/09/2024
Maximizing Influence in Network Dynamics with Social Considerations Vasiliki Raskopoulou
  • Vassilios Zissimopoulos
 15/07/2024
Morley's Categoricity Theorem Filippos Apostolou
  • Panagiotis Rondogiannis
  • Ioannis Souldatos
 10/07/2024
Large cardinals and structural reflection Romanos Aslanis-Petrou
  • Kostas Tsaprounis
 10/07/2024