Gordon Pace

Registered user since Fri 11 Mar 2016

Name:Gordon Pace

Gordon Pace is a Professor with the Department of Computer Science of the University of Malta where he has been a faculty member since 2002. He completed his DPhil in Oxford in 1998, and has also worked at Chalmers University in Gothenburg, Sweden, Laboratoire Verimag in Grenoble, France, INRIA Rhone-Alpes, France and Universidad de Buenos Aires, Argentina.

His research interests lie in the field of formal methods particularly runtime verification, and their application in various domains, particularly in the application areas of FinTech and RegTech. Recently, he has worked on frameworks and tools to enable the application of these techniques to blockchain systems.

Affiliation:University of Malta
Research interests:Formal methods, Runtime verification, Contract analysis


VORTEX 2021 Author of Optional Monitoring for Long-Lived Transactions within the VORTEX-track
VORTEX 2018 Co-chair in Program Committee within the VORTEX-track
Co-chair in Organizing Committee within the VORTEX-track
DEBS 2017 Author of An Embedded DSL Framework for Distributed Embedded Systems within the DEBS Doctoral Symposium-track
VORTEX 2017 Committee Member in Program Committee within the VORTEX17-track
VORTEX 2016 Author of Extracting Runtime Monitors from Tests: An Overview and a way forward within the VORTEX-track
Committee Member in Program Committee within the VORTEX-track