TREA

Jean Yang

Follow

Person

  • Cambridge, MA, US
People

Patents Grantslast 30 patents

  • Information Patent Grant

    Privacy verification tool
    • Patent number 9,996,704
    • Issue date Jun 12, 2018
    • Facebook, Inc.
    • Stephen Charles Heise
    • H04 - ELECTRIC COMMUNICATION TECHNIQUE
  • Information Patent Grant

    Privacy verification tool
    • Patent number 9,009,780
    • Issue date Apr 14, 2015
    • Facebook, Inc.
    • Stephen Charles Heise
    • H04 - ELECTRIC COMMUNICATION TECHNIQUE
  • Information Patent Grant

    Automated verification of a type-safe operating system
    • Patent number 8,341,602
    • Issue date Dec 25, 2012
    • Microsoft Corporation
    • Chris Hawblitzel
    • G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

  • Information Patent Application

    PRIVACY VERIFICATION TOOL
    • Publication number 20150310225
    • Publication date Oct 29, 2015
    • FACEBOOK, INC.
    • Stephen Charles Heise
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    PRIVACY VERIFICATION TOOL
    • Publication number 20140282837
    • Publication date Sep 18, 2014
    • FACEBOOK, INC.
    • Stephen Charles Heise
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    AUTOMATED VERIFICATION OF A TYPE-SAFE OPERATING SYSTEM
    • Publication number 20100192130
    • Publication date Jul 29, 2010
    • Microsoft Corporation
    • Chris Hawblitzel
    • G06 - COMPUTING CALCULATING COUNTING