Shaun Azzopardi

https://shaunazzopardi.github.io/ [email protected]

University of Gothenburg Gothenburg I am a postdoc at the University of Gothenburg. Interests: Static analysis, runtime verification, deontic logic, reactive synthesis, and smart contracts.