Rajdeep Mukherjee — 7 Patents at Amazon

Rajdeep Mukherjee has been granted 7 US patents while listed as an inventor at Amazon. The first was granted in 2020 and the most recent in October 2024. Rajdeep Mukherjee ranks #680,018 of 4,157,543 US inventors in our database (top 16.4%). Patent records list Rajdeep Mukherjee in San Jose, CA, US.

Issued Patents All Time

Showing 1–7 of 7 patents

Patent #	Title	Co-Inventors	Date	Approx Value ⓘ
12118350	Hierarchical clustering for coding practice discovery	Hoan Anh Nguyen, Pranav Garg, Omer Tripp, Sengamedu Hanumantha Rao Srinivasan	2024-10-15	$694,739,000
11914993	Example-based synthesis of rules for detecting violations of software coding practices	Pranav Garg, Sengamedu Hanumantha Rao Srinivasan, Benjamin Robert Liblit, Omer Tripp, Neela Sawant	2024-02-27	$290,362,000
11586437	Data flow tracking in program verification	Omer Tripp, Michael Wilson, Yingjun Lyu	2023-02-21	$230,745,000
10984161	System, method, and computer program product for sequential equivalence checking in formal verification	Ravi Prakash, Benjamin Chen, Habeeb Farah, Ziyad Hanna	2021-04-20	$88,375,000
10983758	System, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic design	Benjamin Chen, Habeeb Farah, Ziyad Hanna	2021-04-20	$88,375,000
10970449	Learning framework for software-hardware model generation and verification	Raphael Polig, Mitra Purandare	2021-04-06	$3,234,000
10789404	System, method, and computer program product for generating a formal verification model	Benjamin Chen, Habeeb Farah, Ziyad Hanna	2020-09-29	$94,002,000

Rajdeep Mukherjee — 7 Patents

Issued Patents All Time

Patent Widget