shaunazzopardi

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

Company:University of GothenburgLocation:Gothenburg

shaunazzopardi's Stars