About Me

My main research interests are in semantics of effects, category theory, separation logic, effects handlers, proof assistants, type theory and programming language research in general. For more details you can check my CV.

Education

• (2024-Ongoing) PhD in Computer Science - University of Edinburgh
  Topic: Algebraic Effects & Handlers, programming language semantics.
  Advisors: Dr. Sam Lindley, Dr. Ohad Kammar and others.
• (2021-2024) MSc in Software Science - Radboud University
  Grade: Cum laude
  Thesis: A Substructural Type and Effect System
  Advisor: Dr. Robbert Krebbers
• (2018-2021) BSc in Computer Science - University of Cyprus
  Grade: 9.03/10 (Excellent)
  Thesis: An Instrumentation Approach To Web Fuzzing
  Advisor: Dr. Elias Athanasopoulos

Publications

• Affect: An Affine Type and Effect System
  Proceedings of the ACM on Programming Languages (POPL)
  Recipient of Distinguished Paper Award
• webFuzz: Grey-box Fuzzing for Web Applications
  In Proceedings of the 26th European Symposium on Research in Computer Security (ESORICS)

Professional Activities

• SPLV 2025
  Participant, SPLV summer school 2025

• VERSEN 2024
  Awarded (shared) 1st prize at the VERSEN MSc 2024 award, Amsterdam, NL

• POPL 2024
  Awarded 1st prize at the ACM Student Research Competition, London, UK

• ESORICS 2021
  Research Paper Presenter, Virtual Event

• Advanced Functional Programming in Haskell
  Participant, Utrecht Summer School 2021