Serdar Tasiran

Follow

Person

New York, NY, US

People

Patents Grantslast 30 patents

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
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
Deductive verification for programs using functional programming fe...
- Patent number 10,733,074
- Issue date Aug 4, 2020
- Amazon Technologies, Inc.
- David R. Cok
- 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

Patents Applicationslast 30 patents

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
AUTOMATED SOFTWARE VERIFICATION SERVICE
- Publication number 20200073783
- Publication date Mar 5, 2020
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING