Ms Anna Sotiriadou
Κολέγιο CITY College
Main Campus, Thessaloniki, Greece
You are here: Home /

Ms Anna Sotiriadou

Deputy Vice-President for Teaching, Learning and Students
Associate Professor

Academic Position

Associate Professor


Deputy Vice-President for Teaching, Learning and Students

Academic Qualifications

MSc Education, University of Rochester, USA

MA in Statistics, University of Rochester, USA
BSc in Mathematics, Aristotle University, Greece

Office L. Sofou Building, 5th floor
Telephone 2310 536544, 528450 (ext. 106)
Skype anna.sotiriadou

Anna Sotiriadou is the Deputy Vice-President for Teaching, Learning and Students at City College and Associate Professor in the Computer Science Department. She is a member of the Teaching & Learning Technologies research group. She is a member of the organising and scientific committees in a number of scientific conferences, she has published in various conferences and edited books. She is a member of BCS.

Research Interests

Teaching and Learning in Higher Education, Formal Methods in Software Engineering. Member of the Educational Informatics (EDIT) research group in the Department.



  • Hatziapostolou T., Dranidis D., Sotiriadou A., Kefalas P., and Nikolakopoulos I. An Authentic Research Experience: Fostering Research Skills and Boosting the Employability Profile of Students. In Proceedings of 23rd Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE18), Larnaca, Cyprus, July 2018
  • Stamatopoulou I., Sotiriadou A., and Kefalas P. Developing a graduate employability profile: How do we ensure we deliver what we promise? In Proceedings of the International Conference on Education and New Developments (END'17), 24-26 June 2017, Lisbon, Portugal, 2017.
  • P. H. Ketikidis, A. Sotiriadou, T. Hatziapostolou, P. Kefalas, & A. Solomon, “Fusing Technology, Innovation and Entrepreneurship into Postgraduate Education”, In Proceedings of the 7th European Conference on Innovation and Entrepreneurship. Santarem, Portugal, 2012
  • Ketikidis, P., Sotiriadou, A., Hatziapostolou, T., Misopoulos, F., Editors, Proceedings of the 2nd International Conference on Entrepreneurship, Innovation and Regional Development, “Entrepreneurship and Innovation Crossroads triggers, catalysts and accelerators for sustainable regional development”, South-East European Research Centre, ISBN: 978-960-89629-9-6, April 2009
  • T. Hatziapostolou, P. Kefalas and A. Sotiriadou, “Promoting Computer Science Programmes to Potential Students: 10 Myths for Computer Science,” in Proceedings of the Informatics Education Europe III Conference, Venice, Italy, December 4-5, 2008.
  • G. Eleftherakis, K. Dimopoulos and Anna Sotiriadou, “Enhancing Students Communication Skills - the Case of the International Students Symposium,” in Proceedings of the Informatics Education Europe II (IEEII), 2007, pp. 44-52.
  • P.Kefalas, A.Sotiriadou, G.Davies and A.McGettrick, Editors, Proceedings of the Informatics Education Europe II Conference, IEEII 2007, South-East European Research Centre, November 2007.
  • G. Eleftherakis, P. Kefalas, A. Sotiriadou, and E. Kehris. Modeling Biology Inspired Reactive Agents Using X-machines. Proceedings of World Academy of Science, Engineering and Technology, vol.1, pages 93-96, Istanbul, January 2005, ISSN: 1307-6884.
  • P. Bamidis, P. Bath, B. Eaglestone, A. Sotiriadou, Editors of the Proceedings of iSHIMR 2005 – 10th International Symposium on Health Information Management Research: “Improving the Quality of Health Information: an International Perspective”, September 2005.
  • G. Eleftherakis, P. Kefalas, A. Sotiriadou, E. Kehris, "Modeling Biology Inspired Reactive Agents Using X-machines", In Proceedings of the International Conference on Computational Intelligence (ICCI04), Istanbul, pp.93-96, December 2004.
  • P.Kefalas, G.Eleftherakis, A.Sotiriadou, "Developing Tools For Formal Methods", In Proceedings of the 9th Panehellenic Coneference in Informatics, pp.625-639, November 2003
  • G.Eleftherakis, P.Kefalas, A.Sotiriadou, "Formal Modelling and Verification of Reactive Agents for Intelligent Control", In Proceedings of the 12 ISAP Intelligent System Applications to Power Systems Conference, 2003
  • G. Eleftherakis, P. Kefalas, and A. Sotiriadou. Formal Verification of Agent Models. In Proceedings of the 2nd Hellenic Conference on AI, SETN02, (I.P.Vlahavas and C.D.Spyropoulos eds.), Hellenic Artificial Intelligence Society, pp.425-435, 2002.
  • G..Eleftherakis, P.Kefalas, A.Sotiriadou, "XmCTL: Extending Temporal Logic to Facilitate Formal Verification of X-Machines Models", Annales Univerisitate Bucurest Matematica. Informatica, Annul L, pp.79-95, 2002
  • Sotiriadou, P. Kefalas, “Teaching Formal Methods in the Computer Science Curriculum”, Procedings of the International Conference on Applied and Theoretical Mathematics, Vravrona, Greece, Dec.1-3,(also appeared in Recent Advances in Applied and Theoretical Mathematics, Nikos Mastorakis (ed.)  WSES, pp.91-95),  2000.
  • A. Sotiriadou, E. Kehris, P. Amiridis, “ZTrans: Automatic Translator from Z to SML”, 7th Hellenic Conference on Informatics, 1999
  • A. Sotiriadou, P. Kefalas, “Logic and Sets in the Computer Science Curriculum”, Proceedings of the 2nd Panhellenic Logic Symposium, pp. 191-196, Delphi, July 1999
  • E. Kehris, P. Kefalas, A Sotiriadou “A Graphical Tool for the Evaluation of Control Policies for Flexible Manufacturing Systems”, 12th National Conference of Operational Research, Samos, 1998 (in Greek)
Accreditation and Recognition by:
Change your Cookies Preferences