Mitsikas, Theodoros

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.

Last modified onFriday, 02 October 2020 07:53

Log in