Amber Elisabeth Telfer Norris

Title: Amber Elisabeth Telfer Norris: Inventor in Generative AI-Based Verification Tools

Introduction

Amber Elisabeth Telfer Norris is an inventor associated with Hillsboro, Oregon, and Microsoft Technology Licensing, LLC. Her patent work concerns generative AI tools for formal verification and code generation. The available information lists 1 patent in her name.

Latest Patents

Her listed patent, “Scalable Generative AI-Based Tool Infrastructure,” describes methods and architectures that use large language models (LLMs) to support formal verification and generate code. One embodiment uses a bottom-up collection of custom generative AI tools to produce formal verification code. Another describes an architecture with an index of code examples: a user’s query retrieves relevant examples, which are then provided with the query to an LLM to generate corresponding code.

Career Highlights

The patent record identifies Norris as an inventor on work involving scalable generative AI infrastructure. Her listed affiliation is Microsoft Technology Licensing, LLC.

Collaborations

The patent information also names Erik William Berg and Yash Jayesh Dagli as coworkers associated with the work.

Conclusion

Amber Elisabeth Telfer Norris’s listed invention applies generative AI and indexed code examples to formal verification and code generation, reflecting an effort to make these technical workflows more scalable.