Company Filing History:
Years Active: 2015
Title: Lidan Miao - Innovator in Model Checking for Distributed Applications
Introduction
Lidan Miao is an accomplished inventor based in Issaquah, WA (US). She has made significant contributions to the field of distributed application validation through her innovative patent. Her work focuses on enhancing the verification and validation processes for distributed applications, ensuring they operate efficiently and reliably.
Latest Patents
Lidan Miao holds a patent titled "Model checking for distributed application validation." This patent describes a model checking system that effectively verifies and validates the design of distributed applications. The system provides a model and a generic framework to check application invariant properties, detect anomalous behaviors, and monitor application health. By comparing actual application execution with models derived from formal descriptions, the model checker confirms whether expected properties hold true or if they are violated. This approach allows for more efficient and thorough validation of distributed applications under realistic production conditions. Lidan Miao has 1 patent to her name.
Career Highlights
Lidan Miao is currently employed at Microsoft Technology Licensing, LLC, where she continues to develop innovative solutions in the realm of software validation. Her expertise in model checking has positioned her as a valuable asset in her field.
Collaborations
Lidan has collaborated with notable colleagues, including Peng Song and Li Zhang, who contribute to her innovative projects and research endeavors.
Conclusion
Lidan Miao's contributions to model checking for distributed applications exemplify her commitment to advancing technology in software validation. Her innovative patent and work at Microsoft Technology Licensing, LLC highlight her role as a leading inventor in this critical area.