Giannos Stamoulis

Postdoc at the Faculty of Mathematics, Informatics and Mechanics of University of Warsaw.
Part of the ERC project BOBR, led by Michał Pilipczuk.

email: giannos.stamoulismimuw.edu.pl


From October 2020 to September 2023, I pursued my PhD at AlGCo team, LIRMM (Montpellier, France), under the supervision of Ignasi Sau and Dimitrios M. Thilikos. Here is my thesis.

My current research interests are mainly focused in (parameterized) algorithms in graphs, structural graph theory, and logic in computer science.

Here is my detailed CV.

Research Work

Here is the list of papers I co-authored (see also on arXiv, dblp, and Google Scholar).

  1. Generating strongly 2-connected digraphs
    with Meike Hatzel, Stephan Kreutzer, Evangelos Protopapas, Florian Reich, and Sebastian Wiederrecht.
    • Under review
  2. Finding irrelevant vertices in linear time on bounded-genus graphs
    with Petr A. Golovach, Stavros G. Kolliopoulos, and Dimitrios M. Thilikos.
    • Conference: SODA 2025
  3. Parameterizing the quantification of CMSO: model checking on minor-closed graph classes
    with Ignasi Sau and Dimitrios M. Thilikos.
    • Conference: SODA 2025
  4. Minor Containment and Disjoint Paths in almost-linear time
    with Tuukka Korhonen and Michał Pilipczuk.
    • Conference: FOCS 2024
  5. Elementary first-order model checking for sparse graphs
    with Jakub Gajarský, Michał Pilipczuk, Marek Sokołowski, and Szymon Toruńczyk.
  6. Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
    with Nicole Schirrmacher, Sebastian Siebertz, Dimitrios M. Thilikos, and Alexandre Vigny.
  7. Branchwidth is (1,g)-self-dual
    with Georgios Kontogeorgiou, Alexandros Leivaditis, Kostas I. Psaromiligkos, and Dimitris Zoros.
  8. Computing paths of large rank in planar frameworks deterministically
    with Fedor V. Fomin, Petr A. Golovach, and Tuukka Korhonen.
  9. Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
    with Petr A. Golovach and Dimitrios M. Thilikos.
  10. Shortest Cycles With Monotone Submodular Costs
    with Fedor V. Fomin, Petr A. Golovach, Tuukka Korhonen, and Daniel Lokshtanov.
  11. Fixed-Parameter Tractability of Maximum Colored Path and Beyond
    with Fedor V. Fomin, Petr A. Golovach, Tuukka Korhonen, and Kirill Simonov.
  12. Faster parameterized algorithms for modification problems to minor-closed classes
    with Laure Morelle, Ignasi Sau, and Dimitrios M. Thilikos.
  13. Compound Logics for Modification Problems
    with Fedor V. Fomin, Petr A. Golovach, Ignasi Sau, and Dimitrios M. Thilikos.
  14. Combing a Linkage in an Annulus
    with Petr A. Golovach and Dimitrios M. Thilikos.
  15. Block Elimination Distance
    with Öznur Yasar Diner, Archontia C. Giannopoulou, and Dimitrios M. Thilikos.
  16. k-apices of minor-closed graph classes. II. Parameterized algorithms
    with Ignasi Sau and Dimitrios M. Thilikos.
  17. k-apices of minor-closed graph classes. I. Bounding the obstructions
    with Ignasi Sau and Dimitrios M. Thilikos.
  18. A more accurate view of the Flat Wall Theorem
    with Ignasi Sau and Dimitrios M. Thilikos.
  19. An Algorithmic Meta-theorem for graph modification to Planarity and FOL
    with Fedor V. Fomin, Petr A. Golovach, and Dimitrios M. Thilikos.
  20. Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable
    with Petr A. Golovach and Dimitrios M. Thilikos.
  21. Minor-Obstructions for Apex Sub-unicyclic Graphs
    with Alexandros Leivaditis, Alexandros Singh, Dimitrios M. Thilikos, Konstantinos Tsatsanis, and Vasiliki Velona.
  22. Minor-Obstructions for Apex-Pseudoforests
    with Alexandros Leivaditis, Alexandros Singh, Dimitrios M. Thilikos, and Konstantinos Tsatsanis.

Recent Scientific Activities

  1. [Nov 2024]: Talk at the TCS seminar of Jagiellonian University (Krakow, Poland) about our linear-time implementation of the irrelevant vertex technique.
  2. [Oct 2024]: Participated in the Dagstuhl seminar ``New Tools in Parameterized Complexity: Paths, Cuts, and Decompositions''.
  3. [Aug 2024]: Received the 2024 "Charles Delorme" prize for an excellent thesis in graphs (theory and algorithms) in France.
  4. [July 2024]: Presented our paper on Disjoint-Paths Logic at LICS 2024, in Tallinn, Estonia.
  5. [July 2024]: Participated and gave a talk on Minor testing in almost-linear time at the 2nd Workshop on Structural Graph Theory (STWOR) in Chęciny, Poland.
  6. [June 2024]: Attended HALG 2024 in Warsaw, Poland.
  7. [Jan 2024]: Talks at the Graphs and Optimization seminar in LaBRI, Bordeaux, France, and the Distributed Algorithms and Graphs seminar in IRIF, Paris, France.
  8. [Dec 2023]: Talk at JCALM 2023 in Montpellier, France.
  9. [12 Dec 2023]: PhD defence (slides).
  10. [Nov 2023]: Talk at JGA 2023 in Villeurbanne, France.
  11. [Nov 2023]: Talk at the 2nd Workshop on Logic, Graphs, and Algorithms (LoGAlg2023) in Warsaw, Poland.
  12. [Sep 2023]: Participation in the Structural and Algorithmic Graph Theory Workshop in Będlewo, Poland.
  13. [Aug 2023]: Talk at ACAC'23 in Athens, Greece.
  14. [July 2023]: Presented our paper on Compound Logics at ICALP 2023, in Paderborn, Germany.
  15. [Apr 2023]: 4 weeks research visit at The Cambridge Logical Structures Hub, University of Cambridge, United Kingdom, invited by Anuj Dawar. Gave a talk at the Logic and Semantics Seminar about Disjoint-Paths Logic.
  16. [Mar 2023]: 4 weeks research visit at MIMUW, University of Warsaw, Poland, invited by Michał Pilipczuk. Gave talks at the Automata seminar about our paper on Model Checking Disjoint-Paths Logic and at the Algorithms seminar about our paper on FPT-algorithms for the Maximum Colored Path problem.
  17. [Jan 2023]: Presented our paper on Model Checking Disjoint-Paths Logic on Minor-free Graph Classes at SODA 2023, in Florence, Italy.
  18. [Dec 2022]: 4 weeks research visit at IBS Discrete Mathematics Group (기초과학연구원 이산수학그룹), Daejeon, South Korea, invited by Sang-il Oum. Gave a talk at the Discrete Math Seminar of IBS.
  19. [Nov 2022]: Talk at the Workshop on Logic, Graphs, and Algorithms (LoGAlg2022) at LIRMM, Montpellier, France.
  20. [Nov 2022]: Talk at JGA 2022 in Paris, France.
  21. [Oct 2022]: 1 week research visit at AG Theoretische Informatik, University of Bremen, invited by Sebastian Siebertz.
  22. [Oct 2022]: Popular-science presentation at Fête de la Science, LIRMM, Montpellier, France.
  23. [Sep 2022]: Talk at CoA 2022 in Paris, France.
  24. [Sep 2022]: Talk at GROW 2022 in Koper, Slovenia.
  25. [Jul 2022]: Talk at ICGT 2022 in Montpellier, France (also served as part of the organizing commitee).
  26. [May 2022]: Participation in GRASTA 2022 in Porquerolles, France.
  27. [May 2022]: Talk at APGA 2022 in Calp, Spain.
  28. [Apr 2022]: Participated in the online Directed minors and digraph structure theory workshop.
  29. [Mar 2022]: Poster presentation at JNIM 2022 in Villeneuve d'Ascq, France (the poster).
  30. [Sep 2021]: 2 weeks research visit at Algorithms Research Group, University of Bergen, invited by Fedor Fomin. Gave a talk at the Algorithms seminar.
  31. Regular talks at the AlGCo seminar in LIRMM, Montpellier, France.

Teaching

I taught the following courses as a teaching assistant in french, english and greek.

In the Department of Informatics, Faculty of Science, University of Montpellier, Montpellier, France:

In the Department of Informatics and Telecommunications & Department of Mathematics, NKUA, Athens, Greece:



Address: Institute of Informatics, Faculty of Mathematics, Informatics, and Mechanics of the University of Warsaw ul. Banacha 2, 02-097 Warsaw, Poland