Affiliated Institution of the University of Sheffield
Department of Computer Science
Anna Sotiriadou
 |
Anna Sotiriadou
Head Department of Computer Science City College 13, Tsimiski Street 546 24 Thessaloniki |
Telephone: +302310 224186
Electronic Mail : sotiriadou@city.academic.gr
|
1. ACADEMIC QUALIFICATIONS
2001 – today Head of
the Computer Science Department, CITY Liberal Studies
2002 – today SeniorLecturer,
Computer Science Department, CITY Liberal Studies
3. PROFESSIONAL ACTIVITIES
2003 - today Member
of the SEERC (South-East European Research Centre) Steering Committee
1997 – 2001 BSc Course
Director, Computer Science Department, CITY Liberal Studies
1994 – 2002 Lecturer,
Computer Science Department, CITY Liberal Studies
1997 – today Member of the
Quality Assurance Committee, CITY College.
2001 – today Member of the
Senior Academic Committee (SENAC), CITY College.
1993 – 1994 Technological
Education Institution of Thessaloniki, Lecturer
1988 – 1990 Coordinator
of the Tutoring Services of the University of Rochester, Rochester N.Y.
1986 – 1988 Teaching
Assistant, Department of Statistics, University of Rochester N.Y.
4. PUBLICATIONS
4.1 REFEREED JOURNALS AND CONFERENCE PROCEEDINGS - in Print
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.
A. Sotiriadou, E. Kehris, P. Amiridis, “ZTrans: Automatic Translator from Z to SML”, 7th Hellenic Conference on Informatics, 1999 (also available as Technical Report WP/CS-06/99)
A. 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.
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
G.Eleftherakis, P.Kefalas, 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, "Formal
Verification of Reactive Agents for Intelligent Control", In
Proceedings of the 12 ISAP Intelligent System Applications to Power
Systems Conference (accepted for publication),2003.
P.Kefalas, G.Eleftherakis, A.Sotiriadou, "Developing Tools For Formal Methods", In Proceedings of the 9th Panehellenic Conference in Informatics (accepted for publication), 2003.
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
A. Sotiriadou, P. Kefalas, “Mathematics in Computer Science: the Case of Formal Methods”, Algorithmos, Greek Computer Society, 2002 (in Greek).
5. UNDERGRADUATE AND POST GRADUATE
TEACHING
|
|
|
| Information Systems and the Information Society |
|
| CSD1520 - Probability Theory |
|
| CSD1500 - Maths |
|
| CSD2720 - Research Methods |
|
| CSD2300 -Formal Methods |
|
| CSD2320 - Functional Programming |
|
