Πέτρος Κεφαλάς

Professor
The University of Sheffield International Faculty CITY College

Πέτρος Κεφαλάς

BIO

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.

Πέτρος Κεφαλάς

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

Πέτρος Κεφαλάς

ACADEMIC RESEARCH
Research Interests
  • Τυποποιημένες Μαθηματικές Μέθοδοι στη Μηχανική Λογισμικού και Πολυ-Πρακτορικά Συστήματα
  • Νέες Τεχνολογίες Μάθησης
  • e-Learning
Latest Publications

Full list of publications

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


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


Modelling Multi-Agent Systems: Expereinecs with Membrane Computing and Future Challenges
P.Kefalas, I.Stamatopoulou, 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


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


Teaching AI and IA to non-science graduates
Stamatopoulou, M. Fasli, and P. Kefalas. 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.


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


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