Rajdeep Mukherjee

Follow

Person

San Jose, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Example-based synthesis of rules for detecting violations of softwa...
- Patent number 11,914,993
- Issue date Feb 27, 2024
- Amazon Technologies, Inc.
- Pranav Garg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data flow tracking in program verification
- Patent number 11,586,437
- Issue date Feb 21, 2023
- Amazon Technologies, Inc.
- Omer Tripp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for sequential equival...
- Patent number 10,984,161
- Issue date Apr 20, 2021
- Cadence Design Systems, Inc.
- Rajdeep Mukherjee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for automatically infe...
- Patent number 10,983,758
- Issue date Apr 20, 2021
- Cadence Design Systems, Inc.
- Rajdeep Mukherjee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for generating a forma...
- Patent number 10,789,404
- Issue date Sep 29, 2020
- Cadence Design Systems, Inc.
- Rajdeep Mukherjee
- G06 - COMPUTING CALCULATING COUNTING