Gordon Pace is a Professor within 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, developing techniques to ensure that computer systems work as expected, with particular interest in the application of such techniques in FinTech and RegTech. Recently, he has worked on frameworks and tools to enable the application of these techniques to blockchain systems.
He has also collaborated with colleagues on various other areas related to computer science, including language design, functional programming, natural language processing, automated music analysis and bioinformatics. He is the author of Discrete Mathematics for Computer Science, an undergraduate textbook in mathematics of discrete structures, as well as various journal and conference papers.
ABSTRACT
Would you trust your life with a machine?
Gordon’s talk will engage with the blockchain and the internet of things.