Ms Anna Sotiriadou
Deputy Vice-President for Teaching, Learning and Students
Associate Professor
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.
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)