Άννα Σωτηριάδου

ATH/TECH > Καθηγητές > Άννα Σωτηριάδου

Anna-Sotiriadou (1)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.

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

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

Books – in Print

  • 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
  • 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.
  • 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.

Refereed Journals – in Print

  • 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.
  • 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

Refereed Conference Papers – in Print

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