Neville Grech

Maltese computer scientist

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)

A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Wikipedia's content policies, particularly neutral point of view. Please discuss further on the talk page. (October 2023) (Learn how and when to remove this template message)

|

This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources.
Find sources: "Neville Grech" – news · newspapers · books · scholar · JSTOR (October 2023) (Learn how and when to remove this template message)

|

(Learn how and when to remove this template message)

Neville Grech

Born|

Malta

Nationality| Malta
Awards| ACM SIGPLAN and Communications of the Association for Computing Machinery
Scientific career
Fields| Computer science, Security in program analysis, software engineering
Institutions| University of Malta
Website| www.nevillegrech.com

Neville Grech is Maltese Computer Scientist and researcher. Currently, he is postdoctoral researcher at the University of Athens and also serves as a lecturer at the University of Malta.[1][2]

## Career[edit]

Grech earned his Ph.D. from the University of Southampton.[3]

Grech was a Reach High Fellow at the University of Athens and a Senior Research Associate at the University of Bristol.[4] He has worked as a data scientist and software engineer.[5] Grech's research interests include program analysis, security, energy-efficient systems, smart contracts, semantics, and generative programming.[6]

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.[7][8][9]

## Notable publications[edit]

* 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.[10]

* 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.[11]

## References[edit]

1. ^ "Top research distinction in computing for Dr Neville Grech". University of Malta News Point. September 11, 2019 - via www.um.edu.mt.
2. ^ "University of Malta Profile - Neville Grech". Retrieved 2023-10-06.
3. ^ Grech, Neville; Fischer, Bernd; Rathke, Julian (December 6, 2018). "Preemptive type checking". Journal of Logical and Algebraic Methods in Programming. 101: 151–181. doi:10.1016/j.jlamp.2018.08.003. S2CID 52931371 - via eprints.soton.ac.uk.
4. ^ "Neville Grech's ResearchGate - University of Bristol - Department of Computer Science - Profile". Retrieved 2023-10-06.
5. ^ Daniel Tihn (May 4, 2023). "Ethical hacking does not exist in Maltese law. Experts say that's a big problem". Times of Malta. "And ethical hacker and cybersecurity expert Neville Grech said some of his former university colleagues are now too scared to get involved in cybersecurity courses in case they "get arrested"."
6. ^ Daniel Tihn (April 12, 2023). "Government workers cannot download TikTok. Is that enough to protect them?". Retrieved 2023-10-06. "By only allowing government users to access the app via a web browser, MITA is protecting users from having their device altered but is leaving the door wide open for data collection and gathering, program analyst Neville Grech told Times of Malta."
7. ^ "The ethical hackers earning millions by saving billions". Times of Malta. April 28, 2023. Retrieved 2023-10-06. "Its co-founder Neville Grech's journey to becoming an internationally recognized cybersecurity expert did not happen overnight."
8. ^ "National STEM Awards 2021: Announcing the Winners, thanking our Nominees, and extending grateful Acknowledgements to all involved". 10 July 2021. "Young Researcher Award Dr. Neville Grech"
9. ^ "Dr Neville Grech writes about his research career in automating software". thinkmagazine.mt. October 10, 2014.
10. ^ Grech, Neville; Kong, Michael; Jurisevic, Anton; Brent, Lexi; Scholz, Bernhard; Smaragdakis, Yannis (October 24, 2018). "MadMax: surviving out-of-gas conditions in Ethereum smart contracts". Proceedings of the ACM on Programming Languages. 2 (OOPSLA): 116:1–116:27. doi:10.1145/3276486. S2CID 51920261 - via ACM Digital Library.
11. ^ Brent, Lexi; Grech, Neville; Lagouvardos, Sifis; Scholz, Bernhard; Smaragdakis, Yannis (June 11, 2020). "Ethainter: a smart contract security analyzer for composite vulnerabilities". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery. pp. 454–469. doi:10.1145/3385412.3385990. ISBN 9781450376136. S2CID 214816531 - via ACM Digital Library.

## External links[edit]

* Neville Grech on GitHub
* Neville Grech publications indexed by Google Scholar

Authority control databases: Academics |

* Mathematics Genealogy Project

|