Reader (Associate Professor) in Computer Science, Research Coordinator (Computer Science Dept.), Research Track Leader, SEERC
BSc in Physics from the University of Ioannina, Greece and, an MSc with Distinction and a PhD in Computer Science from the University of Sheffield, UK.
|Office||L. Sofou Building, 6th floor|
|Telephone||2310 536544, 528450 (ext. 112)|
Dr George Eleftherakis is a Reader (Associate Professor) in Computer Science at the University of Sheffield. 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. He is a member of the administration board of the Greek Computer Society since 2002. Since 2009 he is a member of the Faculty’s Research Committee, and the Research Director of the Computer Science department of the International Faculty of the University of Sheffield.
He is researching at the interface of computer science, biology, and engineering, with a sustained publication record, with more than 85 refereed articles in print, having publications in prestigious highly regarded international journals (e.g. ‘Information Sciences’, 'Natural Computing', 'Biosystems', 'Information and Software Technology') and chapters in prestigious handbooks like 'The Oxford Handbook of Membrane Computing'. Since 2007 he leads the “Information and Communication Technologies” research track of the South-East European Research Centre (SEERC – http://www.seerc.org) which is an overseas research centre of the University of Sheffield, established in 2003 in Thessaloniki, Greece. He also leads a research group that studies biological systems that exhibit emergence, and the application of biologically-inspired algorithms to engineering problems. Late focus of the group is in wireless sensor networks, especially monitoring applications in the health care domain and smart cities. He was a guest editor in ‘Formal Aspects of Computing’ journal, and he is a member of the editorial board of ‘Innovations in Systems and Software Engineering, a NASA Journal’, both published by Springer and the ‘Computer Science and Information Systems’ journal and editor of more than 10 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.
Dr Eleftherakis is also very active in teaching at any level having taught 20 different modules over the last 15 years. 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. A start up is in initial steps based on the idea (robotseducate.us)
Nature Inspired Computing, Distributed Systems, Sensor Networks, Formal Verification, Formal Modelling, Computational Systems Biology, Computer Security, Membrane Computing, Multi agent systems, Emergence
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.
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.
Click here to view all publications by Dr. George Eleftherakis.