City College
Κολέγιο CITY College
Main Campus
York, UK
Main Campus, Thessaloniki, Greece

Prof. George Eleftherakis

Professor of Information Systems and Director of the PhD Programme at CITY College, Senior Researcher at SEERC

Academic Position

Professor of Information Systems and Director of the PhD Programme at CITY College, Senior Researcher at SEERC

Academic Qualifications

PhD in Computer Science and an MSc with Distinction from the University of Sheffield, UK, and BSc in Physics (4 years) from the University of Ioannina, Greece.

Office Koromila Building, 4th floor
Office Hours

Friday 12:00

Telephone 2310 253477, 536544, 528450
Personal Website

Prof. George Eleftherakis (PhD) is a Professor of Information Systems at CITY College, University of York Europe Campus. Since 2009 he is a member of the Faculty’s Executive Research Committee and since 2017 the Director of the PhD programme at CITY College, and a member of the University of Sheffield Postgraduate Research Studies Committee. Finally he is a Senior Researcher and Expert at SEERC, the research centre of CITY College. He received the Senate Award for Sustained Excellence in Learning and Teaching from the University of Sheffield in May 2014. He is a Senior member of the Association for Computing Machinery (ACM) since 2012 and the Chair of ACM’s Council of European Chapter Leaders since 2013, and also the chair of the ACM Europe Council Conferences Working Group that coordinates the ACM Europe Council Best Paper Awards to ACM conferences taking place in Europe since 2019. He is a member of the administration board of the Greek Computer Society since 2002. 
He is researching at the interface of computer science, biology, engineering, and information systems, with a sustained publication record, with more than 100 refereed articles in print, having publications in prestigious highly regarded international journals (e.g. ‘Information Sciences’, 'Natural Computing', 'Biosystems', 'Information and Software Technology', 'Pervasive and Mobile Computing') and chapters in prestigious handbooks like 'The Oxford Handbook of Membrane Computing'. 
He leads a research group that studies biological systems that exhibit emergence, and the application of nature/biologically-inspired algorithms to engineering problems. Late focus in wireless sensor networks, cyber-physical systems and the Internet of Things, with special focus on monitoring applications in the health care domain. In parallel he leads a multi-disciplinary research group that focuses on responsible research and innovation, personally achieving two successful proposals in H2020,Swafs calls out of the five (5) of the group. He was a guest editor in ‘Formal Aspects of Computing’ journal, he is a member of the editorial board of ‘Innovations in Systems and Software Engineering, a NASA Journal’, the ‘Internet Technology Letters’, and the ‘Computer Science and Information Systems’ journal, and editor of more than 15 proceedings of International conferences he was chairing their programme committees (e.g. 10th IEEE International Conference on Software Engineering and Formal Methods in 2012). He gave numerous invited lectures including plenary talks in international conferences.
In the last decade he is very active in community work aiming to address gender equality, inclusion and diversity, in relation to STEM disciplines (with a focus in Computer Science). His main activity is through his involvement with the Association of Computing Machinery (ACM) and its special committee that focuses in women inclusion (ACM-W), but also through his involvement in several EC funded projects related to the concept of Responsible Research and Innovation (RRI). 
Prof. Eleftherakis is also very active in teaching at any level having taught more than 20 different modules over the last 20 years. A very significant and important contribution is his initiative on extra-curriculum activities, and overall his passion over all these years to inspire students to participate and continue their education outside of the curriculum especially improving their professional skills. He developed a tool that enables everyone (no matter the background, and age) to start learning programming and develop some essential computational thinking skills. A number of publications and an initial evaluation to ages ranging from 7 to 60, provide some very promising feedback.


Postgraduate Level
  • ICT for Strategic Management (MSc in Business Management and Technology and MSc in Management, Business, Innovation and Technology / ATHENS TECH, SnSPA, New Bulgarian University) 
  • Advanced Java Programming (MSc in Advanced Software Engineering / Computer Science Department, Faculty of Engineering / University of Sheffield)
  • Security Engineering (MSc in Advanced Software Engineering)
  • Cybersecurity and Forensics (MSc in Advanced Software Engineering)
Undergraduate Level
  • Information Security (3rd level, 2005 – today)
  • IT Strategy in Business (3rd level, 2015 – today)

Research Interests

Nature Inspired Computing, Distributed Systems, Sensor Networks, Formal Verification, Formal Modelling, Computational Systems Biology, Computer Security, Membrane Computing, Multi agent systems, Emergence, Health Informatics, Responsible Research and Innovation (RRI)


Adelina Basholli, Thomas Lagkas, Peter A. Bath, and George Eleftherakis, "Sensor-based platforms for remote management of chronic diseases in developing regions: a qualitative approach examining the perspectives of healthcare professionals", Health Informatics Journal, 27(1) :1460458220979350. doi: 10.1177/1460458220979350. PMID: 33435815.

Thomas Lagkas, George Eleftherakis, Konstantinos Dimopoulos, Jie Zhang, "Signal Strength-based Scheme for Following Mobile IoT Devices in Dynamic Environments", Journal of Pervasive Mobile Computing, 65, 101165. ISSN 1574-1192, Elsevier,, May 2020.

Basholli, T. Lagkas, P. A. Bath and G. Eleftherakis, "Healthcare professionals’ attitudes towards remote patient monitoring through sensor networks," 2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom), Ostrava, 2018, pp. 1-6.

George Eleftherakis, Dimitrios Pappas, Thomas Lagkas, Konstantinos Rousis, Ognen Paunovski, “Architecting the IoT Paradigm: A Middleware for Autonomous Distributed Sensor Networks”, International Journal of Distributed Sensor Networks (IJDSN), 139735:1-139735:17 (2015)

George Eleftherakis, Michael J. Butler, Mike Hinchey, “Editorial”. Formal Asp. Comput. 27(3): 473 (2015)

O. Paunovski, G. Eleftherakis, K.Dimopoulos, and A.J. Cowling. Evaluation of a selective distributed discovery strategy in a fully decentralized biologically inspired environment. Information Sciences, vol. 180, pp. 1865-1875, May 2010. 

P. Kefalas, I. Stamatopoulou, M. Gheorghe, and G. Eleftherakis. Membrane Computing and X-machines. In G. Paun, editor, The Oxford Handbook of Membrane Computing, volume 23.4, pages 612-620. Oxford University Press, 2009.

G. Eleftherakis, K. Rousis, M. Cislaghi, Roberto Mazzilli, and Sara Ferri. Security Requirements in Judicial Information Systems: Experience from a European Project for Judicial Cross-Border Collaboration. Journal of Information Assurance and Security (JIAS), 4(6):519-529, 2009. Special Issue on Information Assurance and Data Security.

O. Paunovski, G. Eleftherakis, and A.J. Cowling. Disciplined Exploration of Emergence using Multi-Agent Simulation Framework. Computing and Informatics, 28(3):369-391, 2009.

P. Kefalas, I. Stamatopoulou, I. Sakellariou, and G. Eleftherakis. Transforming Communicating X-machines into P Systems. Natural Computing, 2009

Mauro Cislaghi, George Eleftherakis, Roberto Mazzilli, Francois Mohier, Sara Ferri, Valerio Giuffrida, and Elisa Negroni. Secure Judicial Communication Exchange using soft-computing methods and biometric authentication. In International Workshop on Computational Intelligence in Security for Information Systems (CISIS'08), Genova, Italy, October 2008.

O. Paunovski, G. Eleftherakis, and A.J. Cowling. Framework for Empirical Exploration of Emergence using Multi-Agent Simulation. In S.Stepney, F. Polack, and P. Welch, editors, 1st Workshop on Complex Systems Modelling and Simulation (COSMOS 2008), pages 1-31, York, UK, September 2008.

G. Eleftherakis and P. Kefalas. Formal Verification of Generalised State Machines. In S.Gritzalis, D.Plexousakis, and D.Pnevmatikatos, editors, 12th Panhellenic Conference on Informatics (PCI 2008), pages 227-231, Samos, Greece, August 2008. IEEE Computer Society.

G. Eleftherakis and O.Paunovski. Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services. In 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2008)), pages 180-189, Barcelona, Spain, June 2008.

George Eleftherakis, Konstantinos Dimopoulos, and Anna Sotiriadou. Enhancing Students Communication Skills - the Case of the International Students Symposium. In Informatics Education Europe II (IEEII), pages 44-52, Thessaloniki, Greece, November 2007.

George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.): Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers. Lecture Notes in Computer Science 4860 Springer 2007, ISBN 978-3-540-77311-5

G. Eleftherakis (editor), Formal Methods: Challenges in the business world, ISBN 960-87869-8-3, SEERC, 2006. (Post-Proceedings of the 2nd South Eastern European workshop on Formal Methods (SEEFM 05))

P. Kefalas, G. Eleftherakis, M. Holcombe, and I. Stamatopoulou. Formal modelling of the dynamic behaviour of biology-inspired agent-based systems. In M. Gheorghe, editor, Molecular Computational Models: Unconventional Approaches, chapter 9, pages 243-276. Idea Group Publishing, 2005.

P. Kefalas, M. Holcombe, G. Eleftherakis, and M. Gheorghe. A formal method for the development of agent-based systems. In V. Plekhanova, editor, Intelligent Agent Software Engineering, chapter 4, pages 68-98. Idea Group Publishing, 2003.

P. Kefalas, G. Eleftherakis, M. Holcombe, and M. Gheorghe. Simulation and Verification of P Systems using Communicating X-machines. Biosystems, 70(2):135-148, July 2003.

P. Kefalas, G. Eleftherakis, and E. Kehris. Communicating X-machines: a practical approach for formal and modular specification of large systems. Information and Software Technology, 45(5):269-280, April 2003.

G. Eleftherakis and A.J. Cowling. An Agile Formal Development Methodology. In 1st South Eastern European workshop on Formal Methods (SEEFM 03), pages 36-47, Thessaloniki, November 2003. Agile Formal Methods: Practical, Rigorous Methods for a changing world.

P. Kefalas, G. Eleftherakis, and A. Sotiriadou. Developing Tools for Formal Methods. In 9th Panhellenic Conference on Informatics, pages 625-639, Thessaloniki, November 2003.

G. Eleftherakis. A Formal Framework for Modelling and Validating Medical Systems. In V. Patel, R. Rogers, and R. Haux, editors, MEDINFO 2001, volume 1, pages 13-17, London, UK, September 2001. IOS Press.