Issued Patents 2023
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11824727 | Network configuration verification in computing systems | Ryan Andrew Beckett, Nikolaj S. Bjorner | 2023-11-21 |
| 11652742 | Ghost routing | Jitendra D. Padhye, Wei Bai, Rachee Singh, Ryan Andrew Beckett, Sarah Elisabeth MCCLURE +3 more | 2023-05-16 |