Inventor
SEAN MCLAUGHLIN
Inventor
US
Overview
Patents· 8 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing53%
H04LTransmission of digital information, e.g. telegraphic communication33%
G06NComputing arrangements based on specific computational models13%
PatentTitleYear
12,437,080Automated packetless network reachability analysis202512,126,495Virtual network verification service202411,921,616Retaining Dafny specifications202411,797,317Transitioning legacy software to be provably correct202311,777,995Resource state validation of access management policies202311,671,442Automated packetless network reachability analysis202311,232,015Automated software verification service202211,218,511Resource state validation of access management policies2022Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
2022–2025Patents assigned to AMAZON TECH INC (8)· patent assignee history
2022–2025Based in US· patent location history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| AMAZON TECH INC | 8 | 2022–2025 |
Locations
| Location | Patents | Span |
|---|---|---|
| US | 8 | 2022–2025 |