Been: Malta, Athens, Bristol, Southampton.
Done: World-leading young blockchain security researcher. My work in this area has been recently highlighted by Communications of the ACM and ACM SIGPLAN.
Been: Athens, Massachusetts, Oregon, Atlanta, Seattle, Austin.
Done: Professor, author, 20-yr world-leading research expertise, several industry and open-source contributions. Program analysis, systems, security.
Dedaub's mission is to lead in automation-assisted software analyses and audits, for the secure development of smart contracts on blockchain platforms.