Personal HomePage:
Click
Here
Academic Qualifications:
MA in Statistics, University of Rochester, USA
BSc in Mathematics, Aristotle University, Greece
|
Short CV:
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. She has also taught Probability and Statistics courses in the Statistics Department of the University of Rochester.
|
Teaching:
Formal Methods, Research Methods
|
Research Interests:
Teaching and Learning in Higher Education, Formal Methods in Software Engineering.
|
Recent Publications:
P.Kefalas, G.Eleftherakis, A.Sotiriadou, "Developing Tools For Formal Methods", In Proceedings of the 9th Panehellenic Coneference in Informatics
G. Eleftherakis, A. Sotiriadou, and P. Kefalas. Formal Modelling and Verification of Reactive Agents for Intelligent Control. In 12th Intelligent Systems Application to Power Systems Conference (ISAP03), Lemnos, Greece, September 2003. IEEE Power Engineering Society.
G. Eleftherakis, P. Kefalas, and A. Sotiriadou. Formal Verification of Agent Models. In I.P.Vlahavas and C.D.Spyropoulos, editors, Proceedings of the 2nd Hellenic Conference on AI (SETN02), pages 425-435, 2002
|
