PhD in Mathematical Logic in Computer Science, with research on formal methods, formalised mathematics, and other applications of logic.
Interested in all aspects of software, from day-to-day coding (as type-safely as possible) to abstract logical and mathematical reasoning.
Passionate about free (as in freedom) software.
Graph theory (exercises grading),
School of Applied Mathematical and Physical Science, National Technical University of Athens
Introduction to object oriented programming (labs & exercises grading),
School of Applied Mathematical and Physical Science, National Technical University of Athens
Discrete mathematics (exercises),
School of Applied Mathematical and Physical Science, National Technical University of Athens
Translator
Διακριτά Μαθηματικά με εφαρμογές
(978-960-418-994-6):
translation from English to Greek of
Handbook of discrete and combinatorial mathematics, 2nd edition (978-1-58488-780-5);
I was responsible for translating chapters 7–14 of the Greek version & the biographies
Researcher
PEVE2021/UNILOG project, Special Account for Research Funding (E.L.K.E.) of National Technical University of Athens
PEVE2021/UNILOG project, Special Account for Research Funding (E.L.K.E.) of National Technical University of Athens
