Bachelor’s Degree in Mathematics, University of Athens
Researcher, Graduate Student, University of Oxford, Mathematical Institute and Computing Laboratory (Oxford University, Mathematical Institute and Computing Laboratory-Programming Research Group)
Doctorate in Applications of Logic in Computer Science (2002), National Technical University of Athens, Department of Mathematics, SEMFE
Research Interests
Applications of Logic in Programming, Formal Methods
