Shaun Azzopardi
Security Researcher at Dedaub
Malta
Summary
👤
Senior🎓
Top SchoolShaun Azzopardi is a security researcher and formal methods expert with eight years of experience applying verification, SMT solving, and model checking to make software and smart contracts more reliable. He has led research in reactive program synthesis and taught formal verification and testing at the university level while supervising graduate students and contributing to industrial blockchain and regtech projects. Currently based in Malta, he combines hands-on vulnerability analysis for smart contracts with academic lecturing and a PhD in Computer Science, bridging rigorous research and practical security engineering. Notably, his background includes designing specification languages and tools to verify compliance pre- and post-deployment—skills he now leverages to both find and mitigate complex contract vulnerabilities.
8 years of coding experience
6 years of employment as a software developer
Supervision in Postgraduate Programmes, Supervision in Postgraduate Programmes at University of GothenburgDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of Malta
English, Maltese, Italian, French, Swedish
Github Skills (44)
api8
verification8
solidity8
ethereum7
blockchain7
automata7
dfa7
cosmwasm7
smart-contracts7
relational-algebra6
logic6
javascript-api6
javascript6
swarm5
type-theory5
Programming languages (7)
Github contributions (5)
dSynMa/syMTri
Apr 2021 - Jan 2023
Contributions:1 release, 452 commits, 72 pushes in 1 year 9 months
shaunazzopardi/maltese-dictionary
Jul 2017 - May 2021
Contributions:5 commits, 4 pushes, 1 branch in 3 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.