Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Microsoft › Gavin Mark Bierman
GB

Gavin Mark Bierman — 12 Patents

Microsoft: 6 patents #7,433 of 40,388Top 20%
Oracle: 6 patents #2,079 of 14,854Top 15%
Cambridge, GB: #397 of 4,587 inventorsTop 9%
Overall (All Time): #396,045 of 4,157,543Top 10%
12 Patents All Time
Gavin Mark Bierman has been granted 12 US patents while listed as an inventor at Microsoft. The first was granted in 2010 and the most recent in August 2023. Gavin Mark Bierman ranks #396,045 of 4,157,543 US inventors in our database (top 9.5%). Patent records list Gavin Mark Bierman in Cambridge, GB.

Patents per Year

Patents granted per year, 2010 to 2023Bar chart with a peak of 2 patents in 2011.peak 22010: 1 patents20102011: 2 patents20112013: 1 patents20132014: 1 patents20142015: 1 patents20152019: 1 patents20192020: 1 patents20202021: 1 patents20212022: 1 patents20222023: 2 patents2023

Issued Patents All Time

Showing 1–12 of 12 patents

Patent #TitleCo-InventorsDateApprox Value ⓘ
11733985 Accessing a migrated member in an updated type Brian Goetz, John R. Rose 2023-08-22 $106,917,000
11599346 Accessing a migrated member in an updated type Brian Goetz, John R. Rose 2023-03-07 $90,981,000
11347489 Accessing a migrated member in an updated type Brian Goetz, John R. Rose 2022-05-31 $78,689,000
10908886 Accessing a migrated member in an updated type Brian Goetz, John R. Rose 2021-02-02 $64,675,000
10635420 Overriding a migrated method in an updated type Brian Goetz, John R. Rose 2020-04-28 $44,006,000
10310827 Flow-based scoping Brian Goetz, Guy L. Steele, Jr. 2019-06-04 $54,088,000
8949784 Type system for declarative data scripting language David E. Langworthy, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more 2015-02-03 $24,850,000
8762942 Bidirectional type checking for declarative data scripting language David E. Langworthy, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more 2014-06-24 $40,583,000
8413119 Semantic subtyping for declarative data scripting language by calling a prover David E. Langworthy, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more 2013-04-02 $14,898,000
7912863 Compositional lifting of operations over structural types Henricus Johannes Maria Meijer, Wolfram Schulte 2011-03-22 $15,289,000
7873592 Type inference for object-oriented languages Henricus Johannes Maria Meijer, Mads Torgersen, Anders Hejlsberg, Danny Van Velzen, Peter A. Hallam +4 more 2011-01-18 $19,360,000
7774376 Type-system extensions for object-oriented language based on coercive subtyping with restrictions Henricus Johannes Maria Meijer, Wolfram Schulte 2010-08-10 $15,662,000

Frequent Collaborators

Brian Goetz6 shared
John R. Rose5 shared
Jeffrey C. Schlimmer3 shared
Donald F. Box3 shared
Bradford H. Lovering3 shared
Henricus Johannes Maria Meijer3 shared

Nearby-Ranked Inventors

John Patrick Hickey, III12
Gregory Lutter12
Josselin Xavier COUPARD12
Xuan Li12
Nandana Mihindukulasooriya12
Keiichi Matsuda12
Robert Imig12
Peter Mage12
Sze Ping Ching12