shaunazzopardi Goto Github PK
Name: Shaun Azzopardi
Type: User
Company: University of Gothenburg
Bio: I am a postdoc at the University of Gothenburg. Interests: Static analysis, runtime verification, deontic logic, reactive synthesis, and smart contracts.
Location: Gothenburg