Jean Goubault-Larrecq

Title: Jean Goubault-Larrecq: Innovator in Computer Security

Introduction

Jean Goubault-Larrecq is a notable inventor based in Clichy, France. He has made significant contributions to the field of computer security through his innovative patent. His work focuses on methods and devices that enhance the detection of attacks against computer systems.

Latest Patents

Goubault-Larrecq holds a patent for a "Method and device for model resolution and its use for detecting attacks against computer systems." This invention involves a device that includes adapter software for translating log file information into a comprehensible language for interpreters. The device utilizes an interpreter that processes specifications in temporal logic, expanding formulas and managing a table and stack of worked subformulas. Additionally, a clause processing algorithm resolves Horn clauses, generating output files or actions based on the processed information.

Career Highlights

Throughout his career, Jean Goubault-Larrecq has worked with prominent companies such as Inria and Bull S.A. His experience in these organizations has allowed him to develop and refine his innovative ideas in computer security.

Collaborations

One of his notable collaborators is Muriel Roger. Their partnership has contributed to advancements in the field of computer security.

Conclusion

Jean Goubault-Larrecq's contributions to computer security through his patent and collaborations highlight his role as an influential inventor in the industry. His work continues to impact the way we detect and respond to cyber threats.