Eric Patrick Lahtinen

Title: Eric Patrick Lahtinen: Innovator in Software Logic Correction

Introduction

Eric Patrick Lahtinen is a notable inventor based in Canton, MA (US). He has made significant contributions to the field of software development, particularly in the area of automatic correction of program logic. His innovative approach addresses the detection and repair of application-level semantic errors in deployed software.

Latest Patents

Lahtinen holds 1 patent for his invention titled "Automatic correction of program logic." This patent outlines a method for inferring aspects of correct operation of a program by utilizing a suite of examples of operations that are known or assumed to be correct. The invention allows for the comparison of further operations of the program to these correct examples, augmenting the program's logic to ensure similarity. This process includes identifying invariants satisfied at certain points in program execution and may involve automatic or semi-automatic error handling procedures to prevent exploitation of semantic errors.

Career Highlights

Throughout his career, Lahtinen has worked with prestigious organizations such as the Massachusetts Institute of Technology and BAE Systems Information and Electronic Systems Integration Inc. His experience in these institutions has contributed to his expertise in software logic and error correction.

Collaborations

Lahtinen has collaborated with notable individuals in the field, including Martin Conway Rinard and Greg Timothy Sullivan. These collaborations have likely enriched his work and contributed to the development of his innovative solutions.

Conclusion

Eric Patrick Lahtinen's contributions to software logic correction demonstrate his commitment to improving software reliability and security. His innovative patent reflects a significant advancement in the field, showcasing his expertise and dedication to addressing complex software challenges.