shaunazzopardi
I am a postdoc at the University of Gothenburg. Interests: Static analysis, runtime verification, deontic logic, reactive synthesis, and smart contracts.
University of GothenburgGothenburg
shaunazzopardi's Followers
- ym-han
- Priyanshumishra77Bangalore
- michjord0001
- BrookMakF
- currlybracket
- medisanaa
- eddyonl
- alexica32
- dmytrmkLviv
- safucoTexas
- rileyca
- tacknuzzSwper
- lou1306TU Wien
- Hailmary-CKCertified Konsult
- mike2point71
- claudiacauli@huawei
- cooookShanghai
- WilliamBroadwing
- AndriusCareersCastille Resources
- AntoineRondelet
- viktorbcu
- GaoshiguoNanjing
- gym0569
- jblaszczykMidnight Coding
- aseychell@ixaris
- raulpardoSQUARE - ITU Copenhagen
- soupwayleeGermany
- thomaspmurphyUK