Christos Kloukinas

Dr Christos Kloukinas is a Reader (equivalent to Associate Professor) in the Department of Computer Science at City, University of London. He is currently the Scheme Director for the Technical Scheme of Postgraduate Courses and Course Director for the MSc in Software Engineering, overseeing programs such as Advanced Computer Science, Computer Games Technology, and e-Business Systems.

Education:

• PhD in Informatics, University of Rennes 1, France (2002)
• MSc in Computer Science, University of Crete, Greece (1997)
• BSc in Computer Science, University of Crete, Greece (1994)

Christos Kloukinas's research focuses on software engineering and embedded systems, particularly in the development of methods and tools for the analysis, optimization, and implementation of mission-critical and safety-critical real-time systems. He has significant interests in software architectures, security, formal methods, and machine learning. His recent work extends into big data assurance, cloud certification, and AI applications in healthcare.

The 15 most recent publications highlight a strong trend in SLA-based assurance, runtime monitoring, formal verification, and the application of AI in health and big data contexts. His work bridges theoretical rigor with practical implementation in distributed and embedded systems.

Scientific Awards:

• No awards listed in the provided text.

Christos has served as an investigator in numerous high-impact research projects, including AERAS, Smart-Bear, CyberSure, IoT@Work, and SLA@SOI. He has also contributed to European projects such as Serenity, SeCSE, and AMETIST. He advises on postgraduate programs and is actively involved in shaping the curriculum for advanced computing education. His research has led to collaborations across Europe and industry partnerships with organizations such as France Telecom R&D and STMicroelectronics.

He is affiliated with research teams focused on software architecture, runtime monitoring, and secure systems, particularly within the context of ambient intelligence and dependable computing. His lab work emphasizes formal modeling, tool development, and system integration for real-world deployment.