Short Biography

I am Senior Lecturer and Research Coordinator of the CS department at CITY College Thessaloniki, which is an International Faculty of the University of Sheffield. I lead the Information and Communication Technologies Research Track of the South Eastern European Research Centre (SEERC). I hold a BSc in Physics from the University of Ioannina, Greece and, an MSc and a PhD in Computer Science from the University of Sheffield, UK. I am the head of the Intelligence, Modelling & Computation research group at CITY.

My main research work is in the area of Formal Methods, Biologically Inspired Computing, Complex Systems, Emergence, Multi-Agent Systems, Education, Serious Games, and Information Security. I gave more than 15 invited talks to Universities, conferences and companies around the world. Published more than 60 papers in International Conferences and Journals and edited 6 books, more of them in the area of formal methods. I also organized, chaired and joined scientific committees of several international conferences in the areas of my research, and also a number of International Student Conferences (the Student Spring Symposium series and the South East European Doctoral Student Conference).

I really enjoy teaching Programming (using Java as a tool), using software robots but also a custom robot as a vehicle of study, in courses in BSc and MSc levels, Information Security in the 3rd level of BSc and ICT for Strategic Management in the MSc level. I continuously have an interest the last years for Java programming and Internet applications and dealt with network programming and web applications using Java, AJAX, Ruby on Rails and other technologies since 1996. I founded and lead Thessalonikiís Java User Group.

I am a Senior Member of the Association of Computing Machinery (ACM) and I am sponsoring an ACM and ACM-W student chapters. I am also a member of the Greek Computer Society, serving the last years as a member of the administration board of the Macedonia-Thrace annex.

Research Interests

My research interests lie in the areas of Formal Methods, Biologically Inspired Computing, Complex Systems, Emergence, Serious Games, Multi-Agent Systems, and Information Security. For more information, you may look at my publications.