Greg Timothy Sullivan

Title: The Innovations of Greg Timothy Sullivan

Introduction

Greg Timothy Sullivan is an accomplished inventor based in Auburndale, MA (US). He is known for his innovative contributions to software development, particularly in the area of program logic correction. His work focuses on enhancing the reliability and security of deployed software applications.

Latest Patents

Sullivan holds a patent for "Automatic correction of program logic." This invention addresses the detection and repair of application-level semantic errors in deployed software. The approach involves 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 logic of the program can be augmented to ensure that further operations are sufficiently similar to the correct examples. This method may prevent malicious exploitation of semantic errors and reduce the likelihood of execution failures.

Career Highlights

Throughout his career, Greg Timothy Sullivan has worked with notable organizations, including BAE Systems Information and Electronic Systems Integration Inc. and the Massachusetts Institute of Technology. His experience in these institutions has contributed significantly to his expertise in software engineering and innovation.

Collaborations

Sullivan has collaborated with esteemed colleagues such as Timothy Alan Anderson and Martin Conway Rinard. These partnerships have fostered a creative environment that has led to advancements in software technology.

Conclusion

Greg Timothy Sullivan's contributions to the field of software development through his patent and collaborations highlight his role as an influential inventor. His work continues to impact the reliability and security of software applications, showcasing the importance of innovation in technology.