He holds a BSc in Mathematics and a PhD in Computer Science from AUTh, and an MSc in Software Engineering from the University of Aston in Birmingham, UK. He has published 1 book and more than 50 research articles in the areas of dependability and security, formal methods and software engineering.