Zhe Li

Title: Zhe Li: Innovator in Application Modernization

Introduction

Zhe Li is a notable inventor based in Montvale, NJ (US). He has made significant contributions to the field of application modernization through his innovative patent. His work focuses on enhancing security and availability in access control systems.

Latest Patents

Zhe Li holds a patent titled "Verifying Translated Access Controls for Application Modernization." This patent describes computer-implemented techniques for verifying translated access controls. The process involves an application modernization service obtaining a source access control and translating it to a target access control. The service compiles both access controls into respective automated reasoning solver encodings. It then queries an automated reasoning solver, such as a Satisfiability Modulo Theories (SMT) solver, to assess whether the source access control is less or more permissive than the target access control. This innovation addresses potential security and availability issues associated with access controls.

Career Highlights

Zhe Li is currently employed at Amazon Technologies, Inc., where he continues to develop cutting-edge solutions in technology. His expertise in application modernization has positioned him as a valuable asset to his team and the company.

Collaborations

Some of Zhe Li's coworkers include Amit Goel and Chungha Sung. Their collaborative efforts contribute to the advancement of technology and innovation within their projects.

Conclusion

Zhe Li's work in verifying translated access controls represents a significant advancement in application modernization. His contributions not only enhance security but also improve the overall functionality of access control systems.