Categories
  Encyclosphere.org ENCYCLOREADER
  supported by EncyclosphereKSF

Neville Grech

From Wikipedia - Reading time: 6 min

Neville Grech
Born
Malta
NationalityMalta
AwardsACM SIGPLAN and Communications of the Association for Computing Machinery
Scientific career
FieldsComputer science, Security in program analysis, software engineering
InstitutionsUniversity of Malta
Websitewww.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]

Education[edit]

Neville earned a doctoral degree from the University of Southampton, specializing in the Electronics and Software Systems field doing his research on dynamic and bytecode languages, specifically investigating program analysis and transformation methods.[3][4]

Career[edit]

Grech was a Reach High Fellow at the University of Athens and a Senior Research Associate at the University of Bristol.[5] He has worked as a data scientist and software engineer.[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]

Research and notable publications[edit]

Grech's research interests include program analysis, security, energy-efficient systems, smart contracts, semantics, and generative programming.[10]

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

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. ^ "Neville Grech". archive.fosdem.org. Retrieved 2023-12-15.
  4. ^ 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.
  5. ^ "Neville Grech's ResearchGate - University of Bristol - Department of Computer Science - Profile". Retrieved 2023-10-06.
  6. ^ 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".
  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. ^ 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.
  11. ^ 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.
  12. ^ 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]

Licensed under CC BY-SA 3.0 | Source: https://en.wikipedia.org/wiki/Neville_Grech
5 views | Status: cached on December 15 2023 09:03:47
↧ Download as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF