Scientific management and activities

Project experience

• Jan 2021–Jan 2023: Complexity and approximability of counting problems through structural, descriptive, and parameterized methods (ParaDeStruct)
• Oct 2022–today: Open Problems in the Equational Logic of Processes (OPEL)

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 service

• Member of the PC for GandALF 2024.

• 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).

• “P versus NP in descriptive complexity and meta-algorithmic results”, Diploma Thesis by Giorgos Kotzias, National Technical University of Athens (soon to be submitted).

Professional Development in Teaching: Attended Courses

• 2023: Introduction to teaching and learning in higher education, Reykjavik University
• 2017: Disability inclusion in education, Coursity online platform

Attended Summer Schools

• NLS 2024: Fifth Nordic Logic Summer School

• EPIT 2023: Le Kaléidoscope de la Complexité