��<!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <title>Kostis Michailidis</title> <!-- Bootstrap CSS --> <link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.0/dist/css/bootstrap.min.css" rel="stylesheet"> <!-- Font Awesome for Icons --> <link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.0.0-beta3/css/all.min.css" rel="stylesheet"> <style> body { background-color: #1c1f24; /* Dark background */ color: #f8f9fa; /* Light text */ } .sidebar { background-color: #212529; /* Dark sidebar */ padding: 20px; border-radius: 8px; margin-bottom: 20px; } a { color: #f8f9fa; } a:hover { color: #4CAF50; /* Hover effect */ } .sidebar a { display: block; color: #f8f9fa; margin-bottom: 10px; text-decoration: none; } .sidebar a:hover { color: #4CAF50; /* Hover effect */ } .sidebar a i { margin-right: 8px; } .content-section { margin-bottom: 40px; } h2 { border-bottom: 2px solid #4CAF50; padding-bottom: 10px; } .fade-in { opacity: 0; animation: fadeIn 2s forwards; } @keyframes fadeIn { to { opacity: 1; } } </style> </head> <body class="fade-in"> <div class="container mt-5"> <div class="row"> <!-- Sidebar --> <div class="col-md-2 sidebar"> <h3>Kostis Michailidis</h3> <p>PhD Student at KU Leuven, Belgium</p> <ul class="list-unstyled"> <li> <a> <i class="fas fa-envelope"></i> kostis.michailidis [at] kuleuven [dot] be </a> </li> <li> <a href="https://scholar.google.com/citations?user=CXvcLN8AAAAJ&hl=en" target="_blank"> <i class="fas fa-graduation-cap"></i> Google Scholar </a> </li> <li> <a href="https://github.com/kostis-init" target="_blank"> <i class="fab fa-github"></i> GitHub </a> </li> <li> <a href="https://orcid.org/0009-0000-2139-0106" target="_blank"> <i class="fab fa-orcid"></i> ORCID </a> </li> </ul> </div> <!-- Main Content --> <div class="col-md-10"> <!-- About Section --> <section class="content-section"> <h2>About</h2> <p> I am currently pursuing a PhD at the <a href="https://wms.cs.kuleuven.be/dtai" target="_blank">DTAI lab of KU Leuven</a>, focusing on the intersection of Constraint Programming and Large Language Models, under the supervision of <a href="https://people.cs.kuleuven.be/~tias.guns/" target="_blank">Prof. Tias Guns</a>. My research combines symbolic reasoning with machine learning to address complex combinatorial optimization and satisfaction problems derived from natural language inputs. </p> <p> Before starting my PhD, I worked as a software engineer in the industry, where I developed enterprise-level applications. I hold a Master's in Computer Science from <a href="https://wms.cs.kuleuven.be/cs/english" target="_blank">KUL</a>, majoring in AI, and a Bachelor's in Informatics & Telecommunications from <a href="https://www.di.uoa.gr/en" target="_blank">NKUA</a>, majoring in CS. </p> </section> <section class="content-section"> <h2>Publications</h2> <ul> <li> CP-Bench: Evaluating Large Language Models for Constraint Modelling. In European Conference on Artificial Intelligence (ECAI 2025). Frontiers in Artificial Intelligence and Applications, Volume 413, pp. 861-868 (2025). <a href="https://doi.org/10.3233/FAIA250890" target="_blank">https://doi.org/10.3233/FAIA250890</a> <br> Kostis Michailidis, Dimos Tsouros, and Tias Guns. <br> <a href="https://arxiv.org/pdf/2506.06052">Paper (PDF)</a> | <a href="#TODO">Poster (PDF)</a> | <a href="https://github.com/kostis-init/CP-Bench">Code</a> </li> <li> Constraint Modelling with LLMs Using In-Context Learning. In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 307, pp. 20:1-20:27, Schloss Dagstuhl -- Leibniz-Zentrum f�r Informatik (2024). <a href="https://doi.org/10.4230/LIPIcs.CP.2024.20" target="_blank">https://doi.org/10.4230/LIPIcs.CP.2024.20</a> <br> Kostis Michailidis, Dimos Tsouros, and Tias Guns. <br> <a href="https://drops.dagstuhl.de/storage/00lipics/lipics-vol307-cp2024/LIPIcs.CP.2024.20/LIPIcs.CP.2024.20.pdf" target="_blank">Paper (PDF)</a> | <a href="https://diobma.udg.edu/handle/10256.1/7764" target="_blank">Presentation (Video)</a> | <a href="https://cp2024.a4cp.org/slides/CP/ConstraintModellingWithLLM.pdf" target="_blank">Slides (PDF)</a> | <a href="#TOTO">Poster (PDF)</a> | <a href="https://github.com/kostis-init/CP-LLMs-ICL" target="_blank">Code</a> </li> </ul> </section> <section class="content-section"> <h2>Talks & Presentations</h2> <ul> <li> CP-Bench: Benchmarking LLMs for CP Model Generation (based on the ECAI 2025 paper). Workshop: LLMs meet Constraint Solving (LLM-Solve), CP/SAT 2025, Glasgow, Scotland (August 11, 2025). <br> Kostis Michailidis, Dimos Tsouros, and Tias Guns. <br> <a href="https://sites.google.com/view/llm-solve" target="_blank">Workshop</a> | <a href="https://drive.google.com/uc?export=download&id=1WEZevrZTl510gjpuU_h0GuUyPu3mx37N" target="_blank">Slides (PDF)</a> </li> </ul> </section> <!-- Misc Section --> <section class="content-section"> <h2>Other</h2> <ul> <li> Take a look at our live demo of <a href="https://chatopt.cs.kuleuven.be/" target="_blank">ChatOpt: A Chatbot for Constraint Modelling</a>. </li> <li> CP-Bench: <a href="https://huggingface.co/datasets/kostis-init/CP-Bench" target="_blank">Dataset</a> & <a href="https://huggingface.co/spaces/kostis-init/CP-Bench-Leaderboard" target="_blank">Leaderboard</a> </ul> </section> <section class="content-section"> <h2 id="teaching">Teaching</h2> <ul> <li> Teaching Assistant (TA) for <strong>Constraint Solving (CoS)</strong>, Master of Computer Science, KU Leuven, 2025. </li> <li> Teaching Assistant (TA) for <strong>Declarative Problem Solving Paradigms for AI (DPSPAI)</strong>, Master of Computer Science, KU Leuven, 2024. </li> </ul> </section> <section class="content-section"> <h2 id="awards">Awards</h2> <ul> <li> Best Poster Award for the paper "Constraint Modelling with LLMs Using In-Context Learning", CP 2024, Doctoral Program. </li> </ul> </div> </div> </div> <!-- Bootstrap JS --> <script src="https://cdn.jsdelivr.net/npm/bootstrap@5.3.0/dist/js/bootstrap.bundle.min.js"></script> </body> </html>