Popular tools he has co-developed include decompilers and security analyzers for the Ethereum platform (MadMax and Gigahorse) and Java pointer and taint analysis frameworks (Doop, P/Taint and HeapDL). His work has been recognized by ACM SIGPLAN and Communications of the ACM.
Research Experience
Previously, he was Reach High Fellow at the University of Athens, a Senior Research Associate at the University of Bristol, and has worked in industry as a Data Scientist and Software Engineer. He co-developed decompilers and security analyzers for the Ethereum platform (MadMax and Gigahorse) and Java pointer and taint analysis frameworks (Doop, P/Taint and HeapDL).
Education
He holds a PhD from the University of Southampton.
Background
His expertise is focused on program analysis, mostly applied to security applications. His work in this area has been recently highlighted by ACM SIGPLAN and Communications of the ACM. He is also interested in energy efficient software development, smart contracts, semantics, and generative programming.