At Veridise, Daniele works as a Software Engineer specializing in the development of Vanguard, our static analysis tool.
Daniele has a strong background in formal methods and functional programming. He’s particularly experienced with C++, Haskell, Clojure, and the K Framework. Prior to joining Veridise, he held various software engineering roles, including Senior R&D Engineer at Runtime Verification, a blockchain security company.
Daniele earned his PhD in Computer Science from Imperial College London. His research focused on programming language theory and formal methods, and he developed a static analysis tool derived from formal semantics.
Experience overview
Experience
C++, Haskell, Clojure, K Framework
Specialities
Smart contracts, Infrastructure
Previous work
Academic work
- IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain with T. Kasampalis, D. Guth, B. Moore, T. Serbanuta, V. Serbanuta, G. Rosu and Ralph Johnson – International Symposium on Formal Methods 2019.
- An Executable Formal Semantics of PHP with Applications to Program Analysis. PhD Thesis, Imperial College London
- An Executable Formal Semantics for PHP – with S. Maffeis – ECOOP 2014.
- A Trusted Mechanised JavaScript Specification – with M. Bodin, A. Chargueraud, P. Gardner, S.Maffeis, D. Naudziuniene, A. Schmitt, G. Smith – POPL 2014.