Company Filing History:
Years Active: 2019
Title: Patrick Munier: Innovator in Coding Rule Analysis
Introduction
Patrick Munier is a notable inventor based in St Mury Monteymond, France. He has made significant contributions to the field of computer programming through his innovative patent. His work focuses on enhancing the reliability and efficiency of coding standards.
Latest Patents
Patrick Munier holds a patent for "Systems and methods for analyzing violations of coding rules." This invention provides systems and methods that automatically detect violations of coding rules within computer programming code. The systems are designed to mark the locations in the code where violations are found. The coding rules are mapped to code verification checks that assess undesired runtime behavior in the code. The systems identify the code verification check associated with a given violation detected in the code. If the check indicates that undesired runtime behavior will not occur, the violation is marked as justified. Conversely, if the check reveals that undesired runtime behavior will occur, the violation is marked as not justified. This patent showcases his commitment to improving coding practices.
Career Highlights
Patrick Munier is currently employed at The MathWorks, Inc., a company renowned for its software products that facilitate mathematical computing. His role at The MathWorks allows him to apply his innovative ideas in a collaborative environment, contributing to the development of advanced programming tools.
Collaborations
Throughout his career, Patrick has worked alongside talented individuals such as Stefan David and Alexandre De Barros. These collaborations have likely enriched his work and fostered a creative atmosphere for innovation.
Conclusion
Patrick Munier is a distinguished inventor whose work in analyzing coding rule violations has the potential to significantly enhance programming practices. His contributions reflect a deep understanding of the complexities of coding standards and a commitment to improving software reliability.