Theodoros Mitsikas holds a Diploma from the Department of Mathematics, School of Applied Mathematical and Physical Sciences National Technical University of Athens (NTUA) and is a PhD Candidate at the School of Electrical and Computer Engineering, NTUA. Since 2018 he has been working as a teaching assistant for the Department of Mathematics, NTUA, teaching Object-Oriented Programming and Graph Theory. He has participated in EU-funded research projects, focusing on formal methods, the semantic web, and knowledge representation, and has contributed to several publications in international journals and conferences. He is currently a researcher in the laboratory of Formal Methods and Logic at NTUA and at RuleML Inc., Canada., where he is also a chair of the PSOA RuleML Technical Group. He is an adjunct faculty member at Hellenic American University and teaches in the BSI and MSI programs.