Registered user since Wed 1 Dec 2021
Name:Rajdeep Mukherjee
Country:United States
Affiliation:Amazon Web Services
Personal website:https://rajdeepmukherjee.com
Research interests:Formal Verification, Static Analysis, Software Engineering, SAT/SMT solvers, Equivalence Checking, Program Synthesis
Contributions
ICSE 2023-profile
View general profile
View general profile