Κολέγιο CITY College
International Faculty
CITY College.
Main Campus, Thessaloniki, Greece
You are here: Home /

Ms Anna Sotiriadou

Head of Department, Deputy International Faculty Director for Learning & Teaching
Senior Lecturer

Academic Position

Senior Lecturer

Position

Head of Computer Science Department
Deputy International Faculty Director for Learning & Teaching

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, 6th floor
Telephone 2310 536544, 528450 (ext. 117)
Email sotiriadou@citycollege.sheffield.eu
Skype anna.sotiriadou


Anna Sotiriadou is the Head and Senior Lecturer of the Computer Science Department. She is also the Course Director of the BSc in Computer Science programme. 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.

Publications

Full list of publications

  • 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)
back