Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8855679 | Method and system for populating location-based information | Vimal Nair, Sudhakar Aramalla, Agnes Tang, Justin Basanese, Oluwatosin Aduroja +5 more | 2014-10-07 |
| 6336148 | Automatic checking of public contracts and private constraints on distributed objects | Sriram Sankar, Mark Hefner | 2002-01-01 |