Issued Patents 2025
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12367328 | Systems and methods for formal verification of computer platforms | Ajit Vasudevan, Michael J. McCall | 2025-07-22 |
| 12248558 | System and method for providing provable end-to-end guarantees on commodity heterogeneous interconnected computing platforms | — | 2025-03-11 |
| 12206729 | Platform-agnostic compute instance launches | Jonathan Luke Herman, Art Plata, Joshua Potter, John Matthew Mullins, Nathan Cook +8 more | 2025-01-21 |