Κολέγιο CITY College
International Faculty,
CITY College.
Main Campus, Thessaloniki, Greece
You are here: Home /

Prof. Petros Kefalas

Vice-Principal for Teaching & Learning, Professor

Academic Position

Professor in Computer Science

International Faculty Director of Learning & Teaching

Position

Vice-Principal for Teaching & Learning, Professor

Academic Qualifications

PhD in Computer Science, University of Essex, UK
MSc in Artificial Intelligence, University of Essex, UK
BSc in Physics, Aristotle University,Greece

Office L. Sofou Building, 5th floor
Telephone 2310 536544, 528450 (ext. 107)
Email kefalas@citycollege.sheffield.eu
Skype petros.kefalas
Facebook Petros Kefalas
Personal Website http://kefalas.citycollege.sheffield.eu


Professor Petros Kefalas is the University of Sheffield International Faculty Director for Learning & Teaching. He holds an MSc in Artificial Intelligence and a PhD in Computer Science, both with the University of Essex. He conducted research in Parallel Logic Programming, Artificial Intelligence, Formal Methods and Multi-Agent Systems. He has published over a 100 papers in journal and conference proceedings.

He 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 modelling, verifying and testing multi-agent systems, especially biological and biology inspired systems with emergent behaviour. He has worked as a reviewer of the Commission of the European Union 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. He is member of administration board of the Hellenic AI Society.

Research Interests

Τυποποιημένες Μαθηματικές Μέθοδοι στη Μηχανική Λογισμικού και Πολυ-Πρακτορικά Συστήματα, Νέες Τεχνολογίες Μάθησης, e-Learning.

Publications

Full list of publications

P.Kefalas, I.Stamatopoulou, I.Sakellariou, G.Eleftherakis, Transforming communicating X-machines into P systems, Journal of Natural Computing, Vol8, No.4, pages 817-832, Springer, 2009

Kefalas, P., & Stamatopoulou, I. (2010). Towards modelling of reactive, goal-oriented and hybrid intelligent agents using P Systems. In M. Gheorghe and T. Hinze and G. Paun (Ed.), Proceedings of the 11th Conference Membrane Computing (CMC'10) (pp. 269-276).

P.Kefalas, I.Stamatopoulou Modelling Multi-Agent Systems: Expereinecs with Membrane Computing and Future Challenges, Proceedings of the 1st International Workshop on Application of Membrane Computing, Concurrency and Agent-based Modelling in Population Biology, AMCA-POP 2010, pages 71-83, 2010

P. Kefalas, I.Stamatopoulou, M. Gheorghe, G.Eleftherakis, Membrane Computing Systems and X-machines, In Handbook of Molecular Computing, Gheorghe Paun (Ed), Oxford University Press, pages 612-620, 2010

Stamatopoulou, M. Fasli, and P. Kefalas. Teaching AI and IA to non-science graduates. In M. Beer, M. Fasli, and D. Richards, editors, Proceedings of the International Workshop on the Educational Uses of Multi-Agent Systems (EDUMAS'09), pages 55-62, 2009.

Eleftherakis, G., Kefalas, P., & Kehris, E. (2011). A methodology for developing component-based agent systems focusing on component quality. Proceedings of the Federated Conference on Computer Science and Information Systems, Workshop on Agent Based Computing: from Model to Implementation-VIII, 563-570.

Petreska, I., & Kefalas, P. (2011). Population P Systems with Moving Active Cells. In Twelfth International Conference on Membrane Computing (pp. 421-432). Fontainebleau, France.

 

back