Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10417024 | Generating verification metadata and verifying a runtime type based on verification metadata | Karen Margaret Pearson Kinnear, Lois Dickinson Foltan, Ioi K. Lam | 2019-09-17 |
| 10191753 | Generating verification metadata and verifying a runtime type based on verification metadata | Karen Margaret Pearson Kinnear, Lois Dickinson Foltan, Ioi K. Lam | 2019-01-29 |