Software Engineering Research Group
|
x-CITY-ng People
Research Interests:
Parallel Logic Programming, Artificial Intelligence & Intelligent Agent Systems, Formal Methods in Software Engineering, Communicating Systems, Open & Distance Learning through the Internet.
Email: kefalas@city.academic.gr
|
Ms. Anna Sotiriadou |
Research Interests:
Formal Methods, Z, Education
Email: sotiriadou@city.academic.gr
|
Dr. Dimitris Dranidis |
Research Interests:
Object-Oriented systems, Software Engineering, Agile methodologies, Neural Networks
Email: dranidis@city.academic.gr
|
Dr. George Eleftherakis |
Research Interests:
Formal Methods in Software Engineering, Formal Verification, Formal Modeling, Model Checking, Communicating systems, Agile FM methodologies.
Email: eleftherakis@city.academic.gr
|
Ms. Kalliopi Tigka |
Research Interests:
Object-Oriented modeling, UML, Communicating systems, Dynamic modeling
Email: tigka@city.academic.gr
|
Ms. Ioanna Stamatopoulou |
Research Interests:
Formal methods in Software Engineering, Formal modelling, verification and testing of multi-agent systems
Email: istamatopoulou@seerc.info
Software Engineering Research Group
Department of Computer Science
CITY Liberal Studies, affiliated Institution of the University of Sheffield
13 Tsimiski str., Thessaloniki, 54624, Greece
Tel. ++30.2310.275.575 Fax. +30.2310.287.564
|