Michael Leonard

Person

Lake Stevens, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Augmenting programming languages with a type system
- Patent number 9,164,737
- Issue date Oct 20, 2015
- Microsoft Technology Licensing, LLC
- Adam D. Nathan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automating asynchronous programming in single threaded systems
- Patent number 8,849,753
- Issue date Sep 30, 2014
- Microsoft Corporation
- Adam D. Nathan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transparent type matching in a programming environment
- Patent number 8,745,580
- Issue date Jun 3, 2014
- Microsoft Corporation
- Adam D. Nathan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security system for a browser-based environment
- Patent number 8,543,638
- Issue date Sep 24, 2013
- Microsoft Corporation
- Adam D. Nathan
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Portion of a display screen showing a transitional user interface
- Patent number D593118
- Issue date May 26, 2009
- Microsoft Corporation
- Adam Nathan
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Portion of a display screen showing a transitional user interface
- Patent number D588606
- Issue date Mar 17, 2009
- Microsoft Corporation
- Adam Nathan
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Portion of a display screen showing a transitional user interface
- Patent number D585909
- Issue date Feb 3, 2009
- Microsoft Corporation
- Adam Nathan
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Portion of a display screen showing a transitional user interface
- Patent number D578544
- Issue date Oct 14, 2008
- Microsoft Corporation
- Adam Nathan
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Portion of a display screen showing a transitional user interface
- Patent number D578135
- Issue date Oct 7, 2008
- Microsoft Corporation
- Adam Nathan
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Portion of a display screen showing a user interface
- Patent number D577741
- Issue date Sep 30, 2008
- Microsoft Corporation
- Adam Nathan
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Portion of a display screen showing a transitional user interface
- Patent number D576635
- Issue date Sep 9, 2008
- Microsoft Corporation
- Adam Nathan
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Portion of a display screen showing a user interface
- Patent number D575798
- Issue date Aug 26, 2008
- Microsoft Corporation
- Adam Nathan
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Portion of a display screen showing a user interface
- Patent number D575797
- Issue date Aug 26, 2008
- Microsoft Corporation
- Adam Nathan
- D14 - Recording, communication, or information retrieval equipment
Information Patent Grant
Portion of a display screen showing a transitional user interface
- Patent number D575795
- Issue date Aug 26, 2008
- Microsoft Corporation
- Adam Nathan
- D14 - Recording, communication, or information retrieval equipment

Patents Applicationslast 30 patents

Information Patent Application
Augmenting Programming Languages with a Type System
- Publication number 20160034261
- Publication date Feb 4, 2016
- Microsoft Technology Licensing, LLC
- Adam D. Nathan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATING ASYNCHRONOUS PROGRAMMING IN SINGLE THREADED SYSTEMS
- Publication number 20090293073
- Publication date Nov 26, 2009
- Microsoft Corporation
- Adam D. Nathan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATICALLY CONNECTING ITEMS OF WORKFLOW IN A COMPUTER PROGRAM
- Publication number 20090293059
- Publication date Nov 26, 2009
- Microsoft Corporation
- Adam D. Nathan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Transparent Type Matching in a Programming Environment
- Publication number 20090288065
- Publication date Nov 19, 2009
- Microsoft Corporation
- Adam D. Nathan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Augmenting Programming Languages with a Type System
- Publication number 20090288067
- Publication date Nov 19, 2009
- Microsoft Corporation
- Adam D. Nathan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Security system for a browser-based environment
- Publication number 20090083860
- Publication date Mar 26, 2009
- Microsoft Corporation
- Adam D. Nathan
- G06 - COMPUTING CALCULATING COUNTING

Michael Leonard

Person

Patents Grantslast 30 patents

Augmenting programming languages with a type system

Automating asynchronous programming in single threaded systems

Transparent type matching in a programming environment

Security system for a browser-based environment

Portion of a display screen showing a transitional user interface

Portion of a display screen showing a transitional user interface

Portion of a display screen showing a transitional user interface

Portion of a display screen showing a transitional user interface

Portion of a display screen showing a transitional user interface

Portion of a display screen showing a user interface

Portion of a display screen showing a transitional user interface

Portion of a display screen showing a user interface

Portion of a display screen showing a user interface

Portion of a display screen showing a transitional user interface

Patents Applicationslast 30 patents

Augmenting Programming Languages with a Type System

AUTOMATING ASYNCHRONOUS PROGRAMMING IN SINGLE THREADED SYSTEMS

AUTOMATICALLY CONNECTING ITEMS OF WORKFLOW IN A COMPUTER PROGRAM

Transparent Type Matching in a Programming Environment

Augmenting Programming Languages with a Type System

Security system for a browser-based environment