Andrew Donald Gordon

Person

Cambridge, GB

People

Patents Grantslast 30 patents

Information Patent Grant
Provenance aware editing for spreadsheets
- Patent number 11,636,254
- Issue date Apr 25, 2023
- Microsoft Technology Licensing, LLC
- John Herbert Martin Williams
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Spreadsheet with reuse functionality
- Patent number 11,461,544
- Issue date Oct 4, 2022
- Microsoft Technology Licensing, LLC
- Advait Sarkar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Checking and/or completion for data grids
- Patent number 11,093,702
- Issue date Aug 17, 2021
- Microsoft Technology Licensing, LLC
- Thore Graepel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Inferring cues for use with digital assistant
- Patent number 10,997,512
- Issue date May 4, 2021
- Microsoft Technology Licensing, LLC
- Margaret Novotny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Spreadsheet cell calculation view providing multiple-representation...
- Patent number 10,936,804
- Issue date Mar 2, 2021
- Microsoft Technology Licensing, LLC
- Andrew Donald Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Natively handling approximate values in spreadsheet applications
- Patent number 10,902,194
- Issue date Jan 26, 2021
- Microsoft Technology Licensing, LLC
- Neil Blunt Toronto
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generation and execution of elastic sheet-def...
- Patent number 10,891,434
- Issue date Jan 12, 2021
- Microsoft Technology Licensing, LLC
- Simon L. Peyton Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Creating and handling lambda functions in spreadsheet applications
- Patent number 10,726,201
- Issue date Jul 28, 2020
- Microsoft Technology Licensing, LLC
- Christopher John Gross
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Relational database management
- Patent number 10,685,062
- Issue date Jun 16, 2020
- Microsoft Technology Licensing, LLC
- Sameer Singh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Creating and handling lambda functions in spreadsheet applications
- Patent number 10,496,740
- Issue date Dec 3, 2019
- Microsoft Technology Licensing, LLC
- Christopher John Gross
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Database access
- Patent number 9,418,086
- Issue date Aug 16, 2016
- Microsoft Technology Licensing, LLC
- Andrew Donald Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security language translations with logic resolution
- Patent number 9,282,121
- Issue date Mar 8, 2016
- Microsoft Technology Licensing, LLC
- Moritz Y. Becker
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Modeling a data generating process using dyadic Bayesian models
- Patent number 9,104,961
- Issue date Aug 11, 2015
- Microsoft Technology Licensing, LLC
- Andrew D. Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type system for declarative data scripting language
- Patent number 8,949,784
- Issue date Feb 3, 2015
- Microsoft Technology Licensing, LLC
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security language expressions for logic resolution
- Patent number 8,938,783
- Issue date Jan 20, 2015
- Microsoft Corporation
- Moritz Y. Becker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bidirectional type checking for declarative data scripting language
- Patent number 8,762,942
- Issue date Jun 24, 2014
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security language translations with logic resolution
- Patent number 8,656,503
- Issue date Feb 18, 2014
- Microsoft Corporation
- Moritz Y. Becker
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Security authorization queries
- Patent number 8,584,230
- Issue date Nov 12, 2013
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semantic subtyping for declarative data scripting language by calli...
- Patent number 8,413,119
- Issue date Apr 2, 2013
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling the delegation of rights
- Patent number 8,201,215
- Issue date Jun 12, 2012
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security assertion revocation
- Patent number 8,095,969
- Issue date Jan 10, 2012
- Microsoft Corporation
- Blair B. Dillaway
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Security authorization queries
- Patent number 8,060,931
- Issue date Nov 15, 2011
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Ambient calculus-based modal logics for mobile ambients
- Patent number 7,721,335
- Issue date May 18, 2010
- Microsoft Corporation
- Luca Cardelli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatically generating security policies for web services
- Patent number 7,559,080
- Issue date Jul 7, 2009
- Microsoft Corporation
- Karthikeyan Bhargavan
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Reviewing the security of trusted software components
- Patent number 7,437,718
- Issue date Oct 14, 2008
- Microsoft Corporation
- Cedric Fournet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifier to check intermediate language
- Patent number 7,171,655
- Issue date Jan 30, 2007
- Microsoft Corporation
- Andrew Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying intermediate language code
- Patent number 6,851,108
- Issue date Feb 1, 2005
- Microsoft Corporation
- Don Syme
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Ambient calculus-based modal logics for mobile ambients
- Patent number 6,826,751
- Issue date Nov 30, 2004
- Microsoft Corporation
- Luca Cardelli
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifier to check intermediate language
- Patent number 6,560,774
- Issue date May 6, 2003
- Microsoft Corporation
- Andrew Gordon
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
GENERATION OF MULTI-DIMENSIONAL ARRAY OF INTERMEDIATE VALUES IN MUL...
- Publication number 20240241703
- Publication date Jul 18, 2024
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL CAPABILITY EXTRACTION
- Publication number 20240232545
- Publication date Jul 11, 2024
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATION OF INTERACTIVE UTTERANCES OF CODE TASKS
- Publication number 20240143928
- Publication date May 2, 2024
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL CAPABILITY EXTRACTION
- Publication number 20240135113
- Publication date Apr 25, 2024
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RESPONDING TO TASK PROMPT ON DECLARATIVE CODE USING LANGUAGE MODEL
- Publication number 20230418815
- Publication date Dec 28, 2023
- Microsoft Technology Licensing, LLC
- Benjamin Goth ZORN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROVENANCE AWARE EDITING FOR SPREADSHEETS
- Publication number 20220253597
- Publication date Aug 11, 2022
- Microsoft Technology Licensing, LLC
- John Herbert Martin Williams
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SPREADSHEET WITH REUSE FUNCTIONALITY
- Publication number 20210256205
- Publication date Aug 19, 2021
- Microsoft Technology Licensing, LLC
- Advait SARKAR
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATION AND EXECUTION OF ELASTIC SHEET-DEF...
- Publication number 20200167415
- Publication date May 28, 2020
- Microsoft Technology Licensing, LLC
- Simon L. Peyton Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SPREADSHEET CELL CALCULATION VIEW PROVIDING MULTIPLE-REPRESENTATION...
- Publication number 20200034415
- Publication date Jan 30, 2020
- Microsoft Technology Licensing, LLC
- Andrew Donald GORDON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NATIVELY HANDLING APPROXIMATE VALUES IN SPREADSHEET APPLICATIONS
- Publication number 20190251158
- Publication date Aug 15, 2019
- Microsoft Technology Licensing, LLC
- Neil Blunt Toronto
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INFERRING CUES FOR USE WITH DIGITAL ASSISTANT
- Publication number 20160350667
- Publication date Dec 1, 2016
- Microsoft Technology Licensing, LLC
- Margaret Novotny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATABASE ACCESS
- Publication number 20150058337
- Publication date Feb 26, 2015
- Microsoft Corporation
- Andrew Donald Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RELATIONAL DATABASE MANAGEMENT
- Publication number 20140188928
- Publication date Jul 3, 2014
- Microsoft Corporation
- Sameer Singh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Security Language Translations with Logic Resolution
- Publication number 20140165139
- Publication date Jun 12, 2014
- Microsoft Corporation
- Moritz Y. Becker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODELING DATA GENERATING PROCESS
- Publication number 20140101090
- Publication date Apr 10, 2014
- Microsoft Corporation
- Andrew D. Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CHECKING AND/OR COMPLETION FOR DATA GRIDS
- Publication number 20130346844
- Publication date Dec 26, 2013
- Microsoft Corporation
- Thore Graepel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Security Authorization Queries
- Publication number 20120017263
- Publication date Jan 19, 2012
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLI...
- Publication number 20100192129
- Publication date Jul 29, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BIDIRECTIONAL TYPE CHECKING FOR DECLARATIVE DATA SCRIPTING LANGUAGE
- Publication number 20100088679
- Publication date Apr 8, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE
- Publication number 20100088661
- Publication date Apr 8, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FLEXIBLE ROUTER
- Publication number 20090225221
- Publication date Sep 10, 2009
- Andrew Robert Gordon
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Managing Server Farms
- Publication number 20080288622
- Publication date Nov 20, 2008
- Microsoft Corporation
- Andrew D. Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Security Assertion Revocation
- Publication number 20080066170
- Publication date Mar 13, 2008
- Microsoft Corporation
- Blair B. Dillaway
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Fact Qualifiers in Security Scenarios
- Publication number 20080066169
- Publication date Mar 13, 2008
- Microsoft Corporation
- Blair B. Dillaway
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Security Authorization Queries
- Publication number 20080066175
- Publication date Mar 13, 2008
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Security Language Translations with Logic Resolution
- Publication number 20080066171
- Publication date Mar 13, 2008
- Microsoft Corporation
- Moritz Y. Becker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Variable Expressions in Security Assertions
- Publication number 20080065899
- Publication date Mar 13, 2008
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Controlling the Delegation of Rights
- Publication number 20080066159
- Publication date Mar 13, 2008
- Microsoft Corporation
- Blair B. Dillaway
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Security Language Expressions for Logic Resolution
- Publication number 20080066160
- Publication date Mar 13, 2008
- Microsoft Corporation
- Moritz Y. Becker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Checking the security of web services configurations
- Publication number 20050268326
- Publication date Dec 1, 2005
- Microsoft Corporation
- Karthikeyan Bhargavan
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Andrew Donald Gordon

Person

Patents Grantslast 30 patents

Provenance aware editing for spreadsheets

Spreadsheet with reuse functionality

Checking and/or completion for data grids

Inferring cues for use with digital assistant

Spreadsheet cell calculation view providing multiple-representation...

Natively handling approximate values in spreadsheet applications

System and method for generation and execution of elastic sheet-def...

Creating and handling lambda functions in spreadsheet applications

Relational database management

Creating and handling lambda functions in spreadsheet applications

Database access

Security language translations with logic resolution

Modeling a data generating process using dyadic Bayesian models

Type system for declarative data scripting language

Security language expressions for logic resolution

Bidirectional type checking for declarative data scripting language

Security language translations with logic resolution

Security authorization queries

Semantic subtyping for declarative data scripting language by calli...

Controlling the delegation of rights

Security assertion revocation

Security authorization queries

Ambient calculus-based modal logics for mobile ambients

Automatically generating security policies for web services

Reviewing the security of trusted software components

Verifier to check intermediate language

Verifying intermediate language code

Ambient calculus-based modal logics for mobile ambients

Verifier to check intermediate language

Patents Applicationslast 30 patents

GENERATION OF MULTI-DIMENSIONAL ARRAY OF INTERMEDIATE VALUES IN MUL...

MODEL CAPABILITY EXTRACTION

GENERATION OF INTERACTIVE UTTERANCES OF CODE TASKS

MODEL CAPABILITY EXTRACTION

RESPONDING TO TASK PROMPT ON DECLARATIVE CODE USING LANGUAGE MODEL

PROVENANCE AWARE EDITING FOR SPREADSHEETS

SPREADSHEET WITH REUSE FUNCTIONALITY

SYSTEM AND METHOD FOR GENERATION AND EXECUTION OF ELASTIC SHEET-DEF...

SPREADSHEET CELL CALCULATION VIEW PROVIDING MULTIPLE-REPRESENTATION...

NATIVELY HANDLING APPROXIMATE VALUES IN SPREADSHEET APPLICATIONS

INFERRING CUES FOR USE WITH DIGITAL ASSISTANT

DATABASE ACCESS

RELATIONAL DATABASE MANAGEMENT

Security Language Translations with Logic Resolution

MODELING DATA GENERATING PROCESS

CHECKING AND/OR COMPLETION FOR DATA GRIDS

Security Authorization Queries

SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLI...

BIDIRECTIONAL TYPE CHECKING FOR DECLARATIVE DATA SCRIPTING LANGUAGE

TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE

FLEXIBLE ROUTER

Managing Server Farms

Security Assertion Revocation

Fact Qualifiers in Security Scenarios

Security Authorization Queries

Security Language Translations with Logic Resolution

Variable Expressions in Security Assertions

Controlling the Delegation of Rights

Security Language Expressions for Logic Resolution

Checking the security of web services configurations