Dr Christian Colombo

Dr Christian Colombo

Dr Christian Colombo

  B.Sc.IT(Hons),M.Sc.,Ph.D.

Senior Lecturer

Room 29 Block B Level 1
ICT Building
University of Malta
Msida
  +356 2340 2640
Christian Colombo obtained his PhD in Computer Science from the University of Malta in 2013 and currently holds the position of Senior Lecturer within the Department of Computer Science. His main areas of research are runtime verification, software testing, compensating transactions, and domain-specific languages, focusing on the creation of dependable software systems by verifying them against formal specifications at runtime. The applications of this body of research spans mobile device security, payment gateway systems, social network privacy policies, and tax compliance, amongst others. He is actively involved in outreach activities both at department and faculty level, engaging with potential future students, industry, and the general public. He has been closely involved in a number of funded projects: Dependability and Error-Recovery in Security Intensive Financial Systems [MCST] (2008-2011), Open Payments Ecosystem [H2020] (2015-2017), and Generating Online Monitors from Tests Automatically [MCST] (2015-2017); the latter as coordinator. Currently, he is collaborating on LOCARD [H2020-SU-SEC-2018: 832735] (2019-2022) and Secure Communication in the Quantum Era [SPS Project Number: G5448] (2018-2022) as partner country Co-Director.
  • Runtime Verification
  • Security
  • Model-Based Testing
  • Compensating Transactions
  • CPS1002 - Mathematics of Discrete Structures
  • CPS1005 - Discrete Mathematics for Computing Science
  • CPS2007 - Further Discrete Mathematics
  • CPS3230 - Fundamentals of Software Testing
  • CPS3239 - Computability and Complexity
__Other

https://www.um.edu.mt/_templates/staffprofiles/