About Me

My main research interests are in semantics of effects, category theory, separation logic, effects handlers 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 Theories & Effects, 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, Edinburgh, UK

• TUPLES 2025
  Presenter, Edinburgh, UK

• POPL 2025
  Presenter, Denver, US

• 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, NL