Company Filing History:
Years Active: 2011-2016
Title: Leonardo Mendonca De Moura: Innovator in Pattern Inference and Program Analysis
Introduction
Leonardo Mendonca De Moura is a prominent inventor based in Sammamish, WA (US). He has made significant contributions to the field of computer science, particularly in the areas of pattern inference and program analysis. With a total of 5 patents to his name, De Moura's work has had a substantial impact on the development of advanced computational methods.
Latest Patents
One of his latest patents is titled "Matching based pattern inference for SMT solvers." This innovative method focuses on automatically analyzing formulas and adding pattern annotations to quantifiers based on a database of common pattern idioms. The approach involves matching base pattern inference for Satisfiability Modulo Theories (SMT) solvers and utilizes a database for fault detection in externally supplied pattern annotated formulas. Additionally, it employs matching code trees for mixed second-order pattern matching.
Another notable patent is "Processing predicates including pointer information." This system is designed for processing predicates during program analysis, based on a general-purpose theory of pointers. It converts location expressions in the predicates into logical formulae that can be interpreted by a theorem prover module, resulting in converted predicates. The conversion process associates location expressions with location objects, representing variables as explicitly-specified location objects and location terms as constructor-specified location objects. The theory of pointers is articulated through a set of axioms that constrain the operation of the theorem prover module.
Career Highlights
Leonardo Mendonca De Moura is currently employed at Microsoft Technology Licensing, LLC, where he continues to innovate and contribute to the field. His work at Microsoft has allowed him to collaborate with leading experts and further develop his research in pattern inference and program analysis.
Collaborations
Throughout his career, De Moura has worked alongside notable colleagues such as Nikolaj Skallerud Bjorner and Eleonora O Bounimova. These collaborations have enriched his research and expanded the impact of his inventions.
Conclusion
Leonardo Mendonca De Moura is a distinguished inventor whose work in pattern inference and program analysis has advanced the field of computer science. His innovative patents and contributions at Microsoft Technology Licensing, LLC highlight his commitment to pushing the boundaries of technology.