Matthias Schlaipfer

Title: Matthias Schlaipfer: Innovator in Software Development

Introduction

Matthias Schlaipfer is a notable inventor based in Vienna, Austria. He has made significant contributions to the field of software development, particularly in transitioning legacy software to verifiable code. With a total of 3 patents to his name, Schlaipfer continues to push the boundaries of innovation in technology.

Latest Patents

One of Schlaipfer's latest patents focuses on transitioning legacy software to be provably correct. This software development process supports a transition from unverifiable, legacy code to verifiable code that is provably correct by construction. A behavioral model is developed for legacy software, which includes various behavioral criteria. The source code implemented in a verifiable language is then verified using the behavioral model to perform verification. Once the source code is complete and verified, a new verified implementation is compiled. This verified implementation is executed alongside the legacy software to identify behavioral differences, which are fed back into the behavioral model and subsequently into the new source code. This iterative process allows for the deployment of verifiable code once behavioral differences are resolved.

Another patent addresses resource state validation of access management policies. This process is performed by an identity and access management system. An access management policy associated with an account for network-based services is received and validated according to resource state obtained for resources associated with the account. Corrections for portions of the access management policy are identified according to the validation and provided via an interface for the identity and access management system.

Career Highlights

Matthias Schlaipfer is currently employed at Amazon Technologies, Inc., where he applies his expertise in software development and access management. His work has been instrumental in enhancing the reliability and security of software systems.

Collaborations

Throughout his career, Schlaipfer has collaborated with talented professionals, including Sean McLaughlin and Neha Rungta. These collaborations have contributed to the advancement of innovative solutions in the tech industry.

Conclusion

Matthias Schlaipfer is a pioneering inventor whose work in software development and access management continues to influence the industry. His patents reflect a commitment to improving the reliability and security of software systems.