Nafi Diallo (Preferred)
Nafi Diallo
Researcher, Gen AI, Automated Reasoning, Amazon
Joined
July 2025
Names
Emails
****@amazon.com (Confirmed)
Personal Links
Career & Education History
Researcher
Gen AI, Automated Reasoning, Amazon (amazon.com)
2016 – Present
PhD student
College of Computing Sciences, New Jersey Institute of Technology (njit.edu)
2012 – 2016
Advisors, Relations & Conflicts
Expertise
API Security
2026 – Present
Automated Program Repair
2012 – Present
Formal verification
2012 – Present
Machine Learning
2012 – Present
Publications
Co-Authors
- Ali Torkamani
- Aman Goel
- Andrew M. Kent
- Benjamin Kiesl-Reiter
- Byron Cook
- Darion Cassel
- Dejan Jovanović
- Dimitra Giannakopoulou
- Divya Raghunathan
- Duncan Clough
- Ferhat Erata
- Jeffrey J. Kuna
- Jianan Yao
- Joe Hendrix
- Joseph Lilien
- Marc Hudak
- Michael Tautschnig
- Nadia Labai
- Nathaniel Weir
- Nick Feng
- Niloofar Razavi
- Rémi Delmas
- Sam Bayless
- Zvonimir Rakamaric