Jean Yang

Title: Jean Yang: Innovator in Privacy Verification Technology

Introduction

Jean Yang is a prominent inventor based in Cambridge, MA (US). She has made significant contributions to the field of privacy verification technology. With a total of 3 patents, her work focuses on protecting user data and enhancing privacy policies.

Latest Patents

One of Jean Yang's latest patents is a privacy verification tool. This tool encompasses systems and methods for safeguarding user privacy by controlling access to their data. Specifically, it introduces a higher-level declarative language for expressing privacy policies that can be verified using a computer-aided verification tool. The verification tool utilizes the expressed privacy policies along with language-level assumptions and assertions during the verification process. High-level models of the privacy policies can be simplified into a verification representation, such as a Boolean representation, based on a set of assertions. This representation can then be submitted to a constraint solver, like a Satisfiability Modulo Theories solver, for verification.

Career Highlights

Throughout her career, Jean Yang has worked with notable companies, including Meta Platforms, Inc. and Microsoft Technology Licensing, LLC. Her experience in these organizations has allowed her to develop and refine her innovative ideas in privacy technology.

Collaborations

Jean has collaborated with talented individuals such as Stephen Charles Heise and Yiding Jia. These partnerships have contributed to her success and the advancement of her projects.

Conclusion

Jean Yang is a trailblazer in the realm of privacy verification technology. Her innovative patents and collaborations highlight her commitment to enhancing user privacy and data protection.