I am a PhD student in Computer Science Department (CSD), of University of Crete (UoC). I also hold a position as Doctoral Research Assistant in Information Systems Laboratory, of the Institute of Computer Science (ICS), of the Foundation for Research and Technology - Hellas (FORTH). I also give tutorial lectures, as teaching assistant in various coursers in CSD.
My scientific interests lay at theoretical computer science. I obtained my bachelor's degree from the Department of Informatics and Telecommunications, of National and Kapodistrian University of Athens (UoA). There I majored in the Foundations of Computer Science and in Data and Knowledge Management. My graduate studies were on Algorithms, Logic and Discrete Mathematics, a join programme from UoA and the National Technical University of Athens (NTUA). While still a graduate student I worked as an intern for the ICS, on game theory.
I now live at Heraklion, Crete. The subject of my doctoral research lays at the intersection of Algorithms, Computational Logic and Machine Learning. The intersection of Computational Logic and Machine Learning forms the area of Inductive Logic Programming, a learning technique where the obtained knowledge is encoded as a logic programme. The intersection of Algorithms and Machine Learning form the area of Computational Learning Theory, which constitutes a formal study of learning algorithms' properties.
When not studying or researching I like to play games, read and watch science fiction, and cycling. I love both tabletop and computer RPGs. Among my favorite game genres are adventures and immersive sims. I am fond of the Star Trek Universe and Isaak Asimov's books. I have a weakness for medieval history. Perhaps my favorite book is the "Name of the Rose", by Umberto Eco.
Computational Logic, Mathematical Logic, Logic Programming, Answer Set Programming, Knowledge Representation & Reasoning
Parametrized Algorithms, Approximate Algorithms, Combinatorial Optimisation, Computational Complexity, Computational Geometry
Graph Theory, Partial Orders, Game Theory, Computability Theory, Theory of Linear Programming
Machine Learning, Inductive Logic Programming, Computational Learning Theory
I conduct my doctoral research under prof. Dimitris Plexousakis. My research area includes Inductive Logic Programming and Computational Learning Theory. I work closely with the post-doctoral researcher Constantinos Varsos and the principal researcher Giorgos Flouris. A report on the are of Inductive Logic Programming is available here. The related presentation is available here.
My master's thesis was on Sorting and Selection Problems in Partially Ordered Sets. My thesis supervisor was prof. Stavros Kolliopoulos. The master thesis is available here. The related presentation is available here.
My bachelor's thesis was on Matroid Theory. My thesis supervisor was prof. Stavros Kolliopoulos. The master thesis is available here (in Greek).
I worked under the post-doctoral researcher Constantinos Varsos and the principal researcher Giorgos Flouris on Misinformation Games. A Misinformation Game (MG) is a framework for predicting rational agents' behaviour under misinformation. I developed an implementation of the Adaptation Procedure, for discovering the equilibria in an MG. The developed software is open sourced, under a creative commons licence. The source code is available here.
Our work, during my internship in FORTH, lead to a publication at the 12th Conference of the Hellenic Artificial Intelligence Society. https://dl.acm.org/doi/10.1145/3549737.3549781
I undertake some tutorial lectures for the undergraduate course of Algorithms and Complexity, taught by prof. Ioannis Tollis.
I undertake some tutorial lectures for the undergraduate course of Complex Network Dynamics, taught by prof. Ioannis Tollis. In this course, I gave a small series of tutorial lectures on elementary notions of Game Theory. The slides of the tutorial are available here (in Greek).
A presentation of Kolmogorov Complexity, and its connection to Shannon's Information Theory. The presentation is available here. The report is available here.
A simplified presentation of the classical computer science result due to K. Appel and W. Hanken. The presentation is available here.
Presentation of Danny Hemerlin's et al. paper from 2011. The presentation is available here. The report is available here.
Presentation of Edouard Bonnet's et al. paper from 2017. The presentation is available here. The report is available here.
Presentation of Jon Lee's et al. paper from 2009. The presentation is available here. The report is available here.
Presentation of P. Erdos and L. Posa paper from 1961. The presentation is available here (in Greek). The report is available here (in Greek).
Presentation of Avrium Blum's et al. work from 2003. Comparison with the paper of Samir Khuller et al. on "Analysing the Optimal Neighborhood: Algorithms for Partial and Budget Connected Dominating Set Problems", 2019. The presentation is available here (in Greek). The report is available here (in Greek).
A presentation of the elementary notions of amortized analysis. The presentation is available here (in Greek).
A presentation of the classical result due to L. R. Floyd and D.R. Fulkerson. The presentation is available here (in Greek).
Presentation of the papers "Computational Aspects of the Colourful Caratheodory Theorem", by Wolfranf Mulzer et al., 2015, and the paper "Colorful Linear Programming and its Relatives", by Impre Barany et al., 1997. The presentation is available here (in Greek). The report is available here (in Greek).
A protein structure prediction based on previous work by I. Emiris and G. Nikitopoulos on "Molecular Conformation Search by Distance Matrix Pertubation", 2003. Our contribution was based on closed source code. It is available for review, after contacting the author.
The project's code and documentation is available here.
A project about data structures implementation in C++. The project's code and documentation is available here.
A project about inter-process communication in Linux/Unix systems. The project's code and documentation is available here.
A project about multi-threading in Linux/Unix systems. The project's code and documentation is available here.
Bit-coin recommendation system, on real-data from twitter. A project about Clustering, Sentiment Analysis and Local Sensitive Hashing. The project's code and documentation is available here.
Implementation of k-Near Neighbours, Euclidean and Naive Bayesian Classifiers. The project's code and documentation is available here.
A solver for the game "Rush hour". The project's code and documentation is available here.