Smart contracts on blockchain platforms (e.g., Ethereum) represent a software domain with critical correctness needs. Smart contract users and security auditors can greatly benefit from a mechanism to recover the original structure of contracts, as evident from past work: many security analyses of smart contracts begin with a decompilation step.
I am currently a Reach High fellow at the University of Athens, as well as at the University of Malta. My areas expertise include program analysis, applied to security and other properties. I have also published in the areas of embedded systems, smart contracts (including a distinguished paper award at OOPSLA), semantics and generative programming. My research tools include decompilers and security analyzers for the Ethereum platform (contract-library.com) and Java pointer and taint analysis frameworks (Doop, P/Taint and HeapDL). Previously, I was a Senior Research Associate at the University of Bristol, and have worked in industry as a Data Scientist and Software Engineer. I hold a PhD from the University of Southampton.