Sean McLaughlin

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Virtual network verification service
- Patent number 12,126,495
- Issue date Oct 22, 2024
- Amazon Technologies, Inc.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Retaining Dafny specifications
- Patent number 11,921,616
- Issue date Mar 5, 2024
- Amazon Technologies, Inc.
- Tongtong Xiang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transitioning legacy software to be provably correct
- Patent number 11,797,317
- Issue date Oct 24, 2023
- Amazon Technologies, Inc.
- Sean McLaughlin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Resource state validation of access management policies
- Patent number 11,777,995
- Issue date Oct 3, 2023
- Amazon Technologies, Inc.
- Ujjwal Rajkumar Pugalia
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automated packetless network reachability analysis
- Patent number 11,671,442
- Issue date Jun 6, 2023
- Amazon Technologies, Inc.
- Catherine Dodge
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automated software verification service
- Patent number 11,232,015
- Issue date Jan 25, 2022
- Amazon Technologies, Inc.
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Resource state validation of access management policies
- Patent number 11,218,511
- Issue date Jan 4, 2022
- Amazon Technologies, Inc.
- Ujjwal Rajkumar Pugalia
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automated packetless network reachability analysis
- Patent number 11,108,805
- Issue date Aug 31, 2021
- Amazon Technologies, Inc.
- Catherine Dodge
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual network verification service
- Patent number 11,095,523
- Issue date Aug 17, 2021
- Amazon Technologies, Inc.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Constraint solver execution service and infrastructure therefor
- Patent number 10,977,111
- Issue date Apr 13, 2021
- Amazon Technologies, Inc.
- Neha Rungta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software verification service
- Patent number 10,664,379
- Issue date May 26, 2020
- Amazon Technologies, Inc.
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual network verification service
- Patent number 10,469,324
- Issue date Nov 5, 2019
- Amazon Technologies, Inc.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
VIRTUAL NETWORK VERIFICATION SERVICE
- Publication number 20250016057
- Publication date Jan 9, 2025
- AMAZON TECHNOLOGIES, INC.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS
- Publication number 20230262087
- Publication date Aug 17, 2023
- AMAZON TECHNOLOGIES, INC.
- Catherine Dodge
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
RESOURCE STATE VALIDATION OF ACCESS MANAGEMENT POLICIES
- Publication number 20220201043
- Publication date Jun 23, 2022
- AMAZON TECHNOLOGIES, INC.
- Ujjwal Rajkumar Pugalia
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS
- Publication number 20210392157
- Publication date Dec 16, 2021
- AMAZON TECHNOLOGIES, INC.
- Catherine Dodge
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL NETWORK VERIFICATION SERVICE
- Publication number 20210377126
- Publication date Dec 2, 2021
- AMAZON TECHNOLOGIES, INC.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AUTOMATED SOFTWARE VERIFICATION SERVICE
- Publication number 20200257611
- Publication date Aug 13, 2020
- AMAZON TECHNOLOGIES, INC.
- Juan Rodriguez HORTALA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONSTRAINT SOLVER EXECUTION SERVICE AND INFRASTRUCTURE THEREFOR
- Publication number 20200073739
- Publication date Mar 5, 2020
- AMAZON TECHNOLOGIES, INC.
- Neha RUNGTA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED SOFTWARE VERIFICATION SERVICE
- Publication number 20200073783
- Publication date Mar 5, 2020
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL NETWORK VERIFICATION SERVICE
- Publication number 20200067785
- Publication date Feb 27, 2020
- AMAZON TECHNOLOGIES, INC.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS
- Publication number 20200007569
- Publication date Jan 2, 2020
- AMAZON TECHNOLOGIES, INC.
- Catherine Dodge
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL NETWORK VERIFICATION SERVICE
- Publication number 20180145879
- Publication date May 24, 2018
- AMAZON TECHNOLOGIES, INC.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Sean McLaughlin

Person

Patents Grantslast 30 patents

Virtual network verification service

Retaining Dafny specifications

Transitioning legacy software to be provably correct

Resource state validation of access management policies

Automated packetless network reachability analysis

Automated software verification service

Resource state validation of access management policies

Automated packetless network reachability analysis

Virtual network verification service

Constraint solver execution service and infrastructure therefor

Automated software verification service

Virtual network verification service

Patents Applicationslast 30 patents

VIRTUAL NETWORK VERIFICATION SERVICE

AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS

RESOURCE STATE VALIDATION OF ACCESS MANAGEMENT POLICIES

AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS

VIRTUAL NETWORK VERIFICATION SERVICE

AUTOMATED SOFTWARE VERIFICATION SERVICE

CONSTRAINT SOLVER EXECUTION SERVICE AND INFRASTRUCTURE THEREFOR

AUTOMATED SOFTWARE VERIFICATION SERVICE

VIRTUAL NETWORK VERIFICATION SERVICE

AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS

VIRTUAL NETWORK VERIFICATION SERVICE