Michael Peyton Jones

Title: Michael Peyton Jones: Innovator in Query Language and Differential Evaluation

Introduction

Michael Peyton Jones is a distinguished inventor based in Oxford, GB. He holds a total of 3 patents that showcase his expertise in computer science and programming methodologies. His innovative contributions have significantly impacted the fields of query language processing and recursive evaluation.

Latest Patents

One of his latest patents is titled "Query Language Distribution Heuristics." This invention involves methods, systems, and apparatuses, including computer programs encoded on computer storage media, for performing local distribution heuristics. The method includes receiving an original expression that has a conjunction comprising a context term and a disjunction of multiple other terms. The context term and the disjunction are evaluated according to one or more local distribution heuristics to determine that the context term is a candidate for distribution across the disjunction of the other terms. In response, a transformed expression is generated in which the candidate context term is distributed across the disjunction of the plurality of other terms.

Another significant patent is "Differential Recursive Evaluation." This invention encompasses methods, systems, and apparatuses for performing differential recursive evaluation. The method includes receiving an original recursive expression that defines tuples belonging to an output relation. A final delta expression is generated by repeatedly applying one or more delta rules to the initial delta expression. The final delta expression is evaluated using the tuples computed by the final delta expression on the previous iteration, updating the output relation by adding any newly generated tuples.

Career Highlights

Michael has worked with notable companies such as Semmle Limited and Microsoft Technology Licensing, LLC. His experience in these organizations has allowed him to refine his skills and contribute to groundbreaking projects in technology and software development.

Collaborations

Throughout his career, Michael has collaborated with talented individuals, including Aditya Sharad and Alexander Eyers-Taylor. These collaborations have fostered innovation and creativity in their respective fields.

Conclusion

Michael Peyton Jones is a prominent inventor whose work in query language distribution and differential evaluation has made a lasting impact on technology. His patents reflect his commitment to advancing computer science and programming methodologies.