Company Filing History:
Years Active: 2019
Title: Ian Lynagh: Innovator in Recursive Predicate Evaluation
Introduction
Ian Lynagh is a notable inventor based in Oxford, GB. He has made significant contributions to the field of computer science, particularly in the evaluation of recursive and exiversal predicates. His innovative work has led to the development of methods, systems, and apparatus that enhance the efficiency of data evaluation processes.
Latest Patents
Ian Lynagh holds a patent titled "Evaluating Recursive and Exiversal Predicates." This patent encompasses methods, systems, and apparatus, including computer programs encoded on computer storage media, for evaluating recursive predicates and exiversal predicates. One of the key methods involves receiving an expression with an exiversal quantifier that specifies conditions x and y. The expression is then transformed into a second expression featuring multiple recursive calls. This second expression includes a first non-negated term with a first recursive call in condition y, and a second negated term with a second recursive call in condition y. The evaluation of this second expression utilizes evaluation predicates that incorporate a single delta predicate, which replaces only the recursive call in the first non-negated term. This process identifies data elements in the relation that satisfy both conditions x and y.
Career Highlights
Ian Lynagh is currently associated with Semmle Limited, where he applies his expertise in computer science to develop innovative solutions. His work at Semmle Limited has allowed him to collaborate with other professionals in the field, further enhancing his contributions to technology and innovation.
Collaborations
Due to space constraints, the details of Ian Lynagh's collaborations will not be included.
Conclusion
Ian Lynagh's work in evaluating recursive and exiversal predicates showcases his innovative spirit and dedication to advancing technology. His contributions are significant in the realm of computer science, and his patent reflects his expertise and creativity in solving complex problems.