Shaun Azzopardi is a postdoctoral researcher at the Department of Computer Science and Engineering of the University of Gothenburg. Shaun obtained his PhD from the Department of Computer Science at the University of Malta.

His research interests lay broadly in formal methods and their applications in the analysis of programs and of legal contracts, specifically through runtime verification, static analysis, and their combination.