Andrew Marshall Wells

Title: The Innovations of Andrew Marshall Wells

Introduction

Andrew Marshall Wells is an accomplished inventor based in Cupertino, CA. He is known for his significant contributions to the field of authorization policy analysis. With a focus on developing systems that enhance the understanding and management of authorization policies, Wells has made a notable impact in the tech industry.

Latest Patents

Wells holds a patent for a system and method for authorization policy analysis. This innovative patent, titled "Authorization policy analysis," introduces a policy analyzer that answers first-order questions about authorization policies. The analyzer reduces policies to Satisfiability modulo theories (SMT), allowing for a more efficient evaluation of policy behavior. The input to the analyzer includes a policy to be analyzed and a schema for that policy. If the policy passes strict validation against the schema, the analyzer symbolically evaluates the policy to encode its semantics as an SMT expression. This expression is then used to formulate queries about policy behavior, such as identifying inputs on which two policies both evaluate to true. The reduction to SMT produces a quantifier-free formula in a combination of decidable theories, supporting large-scale deployments.

Career Highlights

Wells is currently employed at Amazon Technologies, Inc., where he continues to innovate and develop solutions in the realm of authorization policies. His work has been instrumental in advancing the understanding of how policies can be effectively analyzed and managed.

Collaborations

Throughout his career, Wells has collaborated with talented individuals such as Emina Torlak and Kyle Headley. These collaborations have fostered an environment of innovation and creativity, leading to the development of groundbreaking technologies.

Conclusion

Andrew Marshall Wells is a prominent figure in the field of authorization policy analysis, with a patent that showcases his innovative approach to solving complex problems. His contributions at Amazon Technologies, Inc. and collaborations with esteemed colleagues highlight his commitment to advancing technology in this critical area.