Neville Grech is a Lecturer at the University of Malta. He is known for his work in program analysis, with an emphasis on security applications, contributing to advancing smart contract security.
Career
Grech earned his Ph.D. from the University of Southampton.
Grech was a Reach High Fellow at the University of Athens and a Senior Research Associate at the University of Bristol. He has worked as a data scientist and software engineer. Grech's research interests include program analysis, security, energy-efficient systems, smart contracts, semantics, and generative programming.
In 2021, he co-founded Dedaub with Yannis Smaragdakis, a company specializing in smart contract security. The company identified and mitigated security risks in several decentralized finance (DeFi) platforms, with notable clients including the Ethereum Foundation and Chainlink.
Notable publications
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts: This paper, published in 2018, is on vulnerabilities associated with gas consumption in Ethereum smart contracts.
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities: Published in 2020, this paper outlines the superior capabilities of Ethainter in detecting composite vulnerabilities in Ethereum smart contracts.