Scientific management and activities

Professional service

  • Member of the Scientific Committee for the 15th Panhellenic Logic Symposium, which is scheduled for 2026.

  • Member of the PC for GandALF 2024.

  • I served as the manager of the Corelab seminar from 2015 to 2022, and I have been the coordinator of the ICE-TCS seminar from 2023 to 2025.

  • Assisted in organizing

- Reykjavik Summer of Cool Logic 2024 (SCooL 2024)
- FCT'21 and CIAC 2017, and
- ACAC'18, ACAC'19, ACAC'21, ACAC'22, NYCAC'21, NYCAC'22, AtheCrypt 2018, AtheCrypt 2019, AtheCrypt 2020, AtheCrypt 2021, and AtheCrypt 2022

Student supervision

  • Applications of logic to algorithmic results for counting problems
    Diploma Thesis by Sotiris Kanellopoulos, National Technical University of Athens (2022).

Project experience

  • Jan 2021–Jan 2023: Member of the research team, project ParaDeStruct
  • Oct 2022–today: Member of the research team, project Movemnt

Logic study group

I had the privilege of co-organizing a logic study group with Stathis Zachos, Petros Potikas, and Ioannis Kokkinis at the Computation and Reasoning Laboratory (CoReLab) from 2018 to 2021. In the context of this study group, we explored books such as the following:

  • Leonid Libkin. Elements of Finite Model Theory. Springer, 2004.
  • Erich Grädel, Wolfgang Thomas, and Thomas Wilke. Automata, Logics, and Infinite Games. Springer, 2002.
  • Johan van Benthem. Logics in Games. MIT Press, 2014.
  • Neil Immerman. Descriptive Complexity. Springer, 1999.
  • Melvin Chris Fitting and Richard L. Mendelsohn. First-Order Modal Logic. Kluwer Academic Publishers, 1998.

Professional Development in Teaching: Attended Courses

Attended Summer Schools