Dedaub's mission is to lead in automation-assisted software analyses and audits, for the secure development of smart contracts on blockchain platforms
Been: Athens, Malta, Bristol, Southampton.
Done: Top security research (including an OOPSLA '18 distinguished paper). Gaming and Fintech software development expertise. Blockchain policy advisor for Malta.
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.