Neville Grech
Scholar

Neville Grech

Google Scholar ID: QP3gdYAAAAAJ
Dedaub
Program Analysis
Citations & Impact
All-time
Citations
1,342
 
H-index
13
 
i10-index
14
 
Publications
20
 
Co-authors
19
list available
Resume (English only)
Academic Achievements
  • 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.