LexDanaLexDanabeta
Inventor

Rupak Majumdar

Inventor
Albany, CA, US

Overview

2→
Patents
2006–2010
Patent span
Physics
Primary field (CPC G)

Patents· 2 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
7,657,867'System and method for generating a predicate abstraction of a program'20107,058,925'System and method for generating a predicate abstraction of a program'2006

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2006–2010Patents assigned to MICROSOFT CORP (2)· patent assignee history
2006–2010Based in Albany, CA, US· patent location history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
MICROSOFT CORP22006–2010
Locations
LocationPatentsSpan
Albany, California, US22006–2010