Registered user since Wed 1 Dec 2021
Name:Rajdeep Mukherjee
Country:United States
Affiliation:Amazon, USA
Personal website: https://rajdeepmukherjee.com
Research interests:Formal Verification, Static Analysis, Machine Learning for Software Engineering, Program Synthesis, Automated Code Remediation
Contributions
Using general profile