Christian Colombo Author

Gordon J. Pace is a Professor of Computer Science at the University of Malta. His research has focussed on software and hardware verification since the 1990s, and in particular on runtime verification for over 15 years. He was involved in various projects exploring the introduction of the use of runtime verification in the industry, and has delivered various courses aimed at undergraduates, graduate students and professionals on the topic.
Christian Colombo is a Senior Lecturer of Computer Science at the University of Malta. He has been developing runtime verification tools since 2008 while overseeing their deployment to industrial financial transaction systems. He has designed and delivered courses on software verification including two schools organised by the runtime verification community. For the past three years, he has been focusing on how techniques from runtime verification can be applied to the area of cyber security.