Rajdeep Mukherjee (Preferred)
RAJDEEP MUKHERJEE
Rajdeep Mukherjee
Researcher, Amazon
Joined
January 2026
Names
,
Emails
****@amazon.com (Confirmed)
Personal Links
Career & Education History
Researcher
Amazon (amazon.com)
2019 – 2026
PhD student
University of Oxford (oxford.ac.uk)
2013 – 2018
MS student
Indian Institute of Technology Kharagpur (iitkgp.ac.in)
2010 – 2013
Undergrad student
University of Calcutta (caluniv.ac.in)
2007 – 2010
Advisors, Relations & Conflicts
Expertise
LLM and AI Agents
2020 – 2026
Formal Verification
2010 – 2026
Program Analysis
2010 – 2026
Publications
Co-Authors
- Ajit Pal
- Alejandro Molina
- Andreas Griesmayer
- Ansuman Banerjee
- Aritra Hazra
- Baishakhi Ray
- Ben Liblit
- Berk Çirisci
- Daniel Kroening
- Daniel Sanchez
- Dingmin Wang
- Eugene Goldberg
- Farima Farmahinifarahani
- Goran Piskachev
- Hoan Anh Nguyen
- John O'Leary
- Kevin Harer
- Leopold Haller
- Linghui Luo
- Mandayam K. Srivas
- Martin Schäf
- Matthias Güdemann
- Michael Tautschnig
- Michael Wilson
- Mitra Purandare