I am a postdoc at the University of Gothenburg.
Interests: Static analysis, runtime verification, deontic logic, reactive synthesis, and smart contracts.
-
University of Gothenburg
- Gothenburg
- https://shaunazzopardi.github.io/
Highlights
- Pro
Block or Report
Block or report shaunazzopardi
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Luca Di Stefano
lou1306
PhD in Computer Science.
Version control your LaTeX, folks
TU Wien Vienna, Austria
Hailmary_CK
Hailmary-CK
UK/EU IT Recruiter at Certified Konsult ★Working with International Customers ★ Specialized in placing talented & skilled people ★ Head Hunter ★
Certified Konsult Sweden
Andrius
AndriusCareers
I help developers find the rewarding workplace. Whether its full-time or contract, startup or enterprise business - let me know what you'd like to do next ;)
Castille Resources Malta
Antoine Rondelet
AntoineRondelet
Security and Privacy research.
Cryptography and distributed systems lover.
Jakub Błaszczyk
jblaszczyk
Answer Set Programming,
Automated Planning,
Description Logic,
Deontic Logic,
Automated Verification, Agents,
Blockchain
Midnight Coding Wrocław, Polska