Personal HomePage:
Click
Here
Academic Qualifications:
PhD in Computer Science, University of Essex, UK
MSc in Artificial Intelligence, University of Essex, UK
BSc in Physics, Aristotle University,Greece
|
Short CV:
Petros Kefalas is the Vice Principal for Teaching & Learning at CITY College, Thessaloniki. He holds an MSc in Artificial Intelligence and a PhD in Computer Science, both with the University of Essex. He contacted research in Parallel Logic Programming and Search Algorithms in Artificial Intelligence. He has published around 80 papers in journal and conference proceedings and co-authored a Greek textbook in Artificial Intelligence. He is a member of the research group "Intelligence, Modelling & Computation" of the Department. He is currently involved in investigating the applicability of formal methods for specifying, verifying and testing agent systems. He has worked as a reviewer of the Commission of the European Community on Research & Development Projects. He is a member of BCS, ACM, IEEE, ALP and the Greek Computer Society (EPY) in which he served as vice chairman of the local annex.
|
Teaching:
Formal Methods, Logic Programming, Intelligent Agents
|
Research Interests:
Formal Methods in Software Engineering, Parallel Logic Programming, Artificial Intelligence & Intelligent Agent Systems, Open & Distance Learning through the Internet.
|
Recent Publications:
P.Kefalas, M.Holcombe, G.Eleftherakis, M.Gheorge, "A Formal Method for the Development of Agent Based Systems", In Intelligent Agent Software Engineering, V.Plekhanova (eds), Idea Group Publishing Co., pp.68-98, 2003
P.Kefalas, "Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours", (In Proceedings of the 2nd Hellenic Conference on AI, SETN02, Lecture Notes in Artificial Intelligence 2308 (I.P.Vlahavas and C.D.Spyropoulos eds.), Springer-Verlag, pp.461-472, 2002
P.Kefalas, G.Eleftherakis, E.Kehris, "Communicating X-Machines: From Theory to Practice", Lecture Notes in Computer Science Vol.2563, "Advances in Informatics - Post-Proceedings of the 8th Panhellenic Conference in Informatics" (Y.Manolopoulos, S.Evripidou and A.Kakas eds.), 2003
P.Kefalas, S.Retalis, D.Stamatis, T.Kargidis, "Quality Assurance Procedures and e-ODL", In Proceedings of the International Conference on network Universities and E-Learning, Valentia, Spain, May 2003 P.Kefalas, G.Eleftherakis, M.Holcombe, M.Gheorghe, "Simulation and Verification of P Systems through Communicating X-Machines", BioSystems, Vol 70, No.2, July 2003, pp.135-14
P.Kefalas, I.Stamatopoulou, I.Sakellariou, G.Eleftherakis, Transforming communicating X-machines in P systems, Journal of Natural Computing Springer, 2009 (to be published)
P.Kefalas, I.Stamatopoulou, M.Gheorghe, G.Eleftherakis, Membrane Computing Systems and X-machines, In Handbook of Molecular Computing, Gheorghe Paun (Ed), 2009 (to be published)
|
