Company Filing History:
Years Active: 2004-2005
Title: The Innovations of Danny Geist
Introduction
Danny Geist is an accomplished inventor based in Haifa, Israel. He has made significant contributions to the field of system analysis and verification through his innovative patents. With a total of 2 patents, Geist continues to push the boundaries of technology and engineering.
Latest Patents
One of Danny Geist's latest patents is titled "Model checking with layered localization reduction." This method involves verifying a property of a complete model of a system by abstracting certain variables to create an abstract model. The process begins with an initial state in the state space of the abstract model, where an abstract path is identified in accordance with the transition relation to a target state defined by the property. By restoring a subset of the abstracted variables, an intermediate model is produced, allowing for the verification of the property on the complete model.
Another notable patent is "Synchronization for system analysis." This synchronization method entails running a system with multiple agents in parallel operation while enforcing a synchronization order between these agents at specific intervention junctures. The method is particularly effective when at least two agents access a single address almost simultaneously, ensuring that one agent accesses the address before the other.
Career Highlights
Danny Geist is currently employed at International Business Machines Corporation, commonly known as IBM. His work at IBM has allowed him to develop and refine his innovative ideas, contributing to the company's reputation for technological advancement.
Collaborations
Throughout his career, Geist has collaborated with talented individuals such as Monica Farkash and Raanan Gewirtzman. These collaborations have fostered a creative environment that encourages the exchange of ideas and the development of groundbreaking technologies.
Conclusion
Danny Geist is a notable inventor whose work in system analysis and verification has led to significant advancements in technology. His innovative patents and collaborations with esteemed colleagues highlight his commitment to pushing the boundaries of engineering.