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.
- Τυποποιημένες Μαθηματικές Μέθοδοι στη Μηχανική Λογισμικού και Πολυ-Πρακτορικά Συστήματα
- Νέες Τεχνολογίες Μάθησης
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