Dr Christos Kloukinas is a Reader (equivalent to an Associate Professor in the USA) at the Department of Computer Science and member of the Research Centre for Adaptive Computer Systems and Machine Learning.

Christos holds a B.Sc. degree in Computer Science (1994) and an M.Sc. degree in Parallel & Distributed Systems (1997), both from the University of Crete at Heraklion, Greece. He also holds a Ph.D. degree in Informatics (2002) from the University of Rennes 1, France.

Before joining City St George's, University of London, Christos worked as a programmer at ICS-FoRTH (Heraklion, Greece) and as a researcher at the PLEIADES - Parallel & Distributed Systems Laboratory of ICS-FoRTH, the Solidor research project of IRISA (Rennes, France), the Arles research project of INRIA-Rocquencourt (Paris, France) and the Verimag research laboratory (Grenoble, France).

Research Interests

Examples include stochastic modelling of SLAs and of automated certification systems (with dynamic Lisp code production to support them), online monitoring and security, and software architectural description languages.

Has also worked on hard real-time embedded systems, focusing in the development of methods and tools for the analysis, fine-grain control, optimisation and implementation of such mission-critical and safety-critical systems.

Research Projects

Before joining City, Christos was an investigator in the OMEGA (2002/12-2005/2), AMETIST (2002/4-2005/6), DSoS (2000/4-2003/3), C3DS (1998/1-2000/12), Lydia (1994/4-1997/3), and MLT (1989/4-1993/3) European research projects, in the Expresso French RNTL research project and in the TinAster (France Telecom R&D) and ANACONDA (STMicroelectronics) industry-funded research projects.

Examples of systems coded

Christos has been the Programme Director of the MSc in Software Engineering with Cloud Computing since January 2005 and during 2005–2006 he was also the Programme Director of the MSc in Electronic Business Systems (that is no longer offered).
He has also served for a number of years (2008-2014) as the Scheme Director for the Technical Scheme of Postgraduate Courses, which includes the following Msc courses currently:

• MSc in Artificial Intelligence
• MSc in Computer Games Technology
• MSc in Cyber Security
• MSc in Data Science
• MSc in Software Engineering with Cloud Computing

Prospective applicants may also want to consider one of our other MSc courses at the Department of Computer Science as well.

Back in February 25, 2009, Christos had his 15 minutes of fame, when Graduate Prospects run an article featuring the MSc in Software Engineering course at City.

Before joining City I delivered two short courses on Real-Time Java (IN2P3/CNRS 2003 and ECI 2012) - the material can be accessed freely from the links at the left column (for current courses, due to an unfortunate server attack).

My current modules are:

• an MSc-level introduction to programming in C++
• an MSc/UG3-level introduction to concurrency

PhD students:

Past:

1. Dr Michalis Smyrlis "A hybrid approach to cyber risk evaluation", 11 July 2023, 2nd supervisor
2. Dr Costas Mantzoukas "Runtime monitoring of security SLAs for big data pipelines: design implementation and evaluation of a framework for monitoring security SLAs in big data pipelines with the assistance of run-time code instrumentation", 8 November 2019, 2nd supervisor
3. Dr Nikolaos Petroulakis "A Pattern-Based Framework for the Design of Secure and Dependable SDN/NFV-Enabled Networks", 14 June 2019, 2nd supervisor
4. Dr Xin Meng "An Integrated Network-based Mobile Botnet Detection System", April 2018, 2nd supervisor
5. Dr Maria Krotsiani "Model driven certification of Cloud service security based on continuous monitoring", 10 December 2015, 2nd supervisor
   • Dr Maria Krotsiani worked as a Lecturer at City and now works in the industry.
6. Dr Luca Pino "Security Aware Service Composition", October 2015, 2nd supervisor
7. Dr Mert Ozkaya "A Design-by-Contract based Approach for Architectural Modelling and Analysis", 9 September 2014, 1st supervisor
   • Dr Mert Ozkaya is currently an Associate Professor at Yeditepe University, Turkey
8. Dr George K. Lekeas "Regulating Competence-based Access to Agent Societies", 4 April 2011, 1st supervisor
9. Dr Theoharis Tsigritis "Diagnosis of Run-Time Monitoring Violations", 3 March 2011, 2nd supervisor

Current:

• Ms Qiqi Su, working on Explainable AI for time-series prediction.

MSc students (some notable cases):

• Mr Alexandros Achillefs, who developed a model-checker for the BPEL language, based on the SPIN model-checker.
• Mr Bhesh Thapa, who extended the message reception in the SPIN model-checker so that it supports generic conditions on the message contents.
• Ms Fatine Tazi, who updated the Xcd language translator to SPIN.

BSc students (some notable cases):

• Mr Salem Benkhelfa, who used the Xcd language to express a number of OO Design Patterns.
• Mr Stewart Cope, who extended Firefox so one can organise and search bookmarks using user-specified tags.

Christos has also served as a reviewer/sub-reviewer for a number of conferences and journals, e.g., CAV04, DATE03/04/05, ECRTS04, EMSOFT04, EW02, FIDJI03, ICSE03, RTAS04, RV04, TACAS03, and WADS03 conferences, or ACM Transactions on Embedded Computing Systems, Elsevier Journal of Software and Systems, IEEE Transactions on Parallel and Distributed Systems, and Technique et Science Informatiques - Hermès Science.