Gradus (Geert) Janssen

Title: Innovations of Gradus (Geert) Janssen

Introduction

Gradus (Geert) Janssen is an accomplished inventor based in Putnam Valley, NY (US). He has made significant contributions to the field of circuit verification through his innovative patent. His work exemplifies the intersection of technology and mathematics, showcasing the potential of computational algebraic geometry in practical applications.

Latest Patents

Janssen holds a patent for "Circuit verification using computational algebraic geometry." This invention involves a method that includes receiving a first description of a circuit whose operation is to be verified over multiple inputs. It also includes receiving a second description that outlines the expected behavior of the circuit, expressed as a set of algebraic systems of multivariable polynomials over at least one Galois field. The method applies computational algebraic geometry techniques to determine whether the circuit is verified, confirming that at least one output corresponds to an expected value based on the expected behavior.

Career Highlights

Gradus (Geert) Janssen is associated with the International Business Machines Corporation, commonly known as IBM. His role at IBM allows him to work on cutting-edge technologies and contribute to advancements in circuit design and verification.

Collaborations

Throughout his career, Janssen has collaborated with notable colleagues, including Luis Alfonso Lastras-Montano and Alexey Y Lvov. These collaborations have likely enriched his work and contributed to the development of innovative solutions in his field.

Conclusion

Gradus (Geert) Janssen's contributions to circuit verification through his patent highlight the importance of innovation in technology. His work at IBM and collaborations with esteemed colleagues further emphasize his role in advancing the field.