Location History:
- D.N. Misgav, IL (2012)
- Misgav, IL (2013)
- Haifa, IL (2014)
Company Filing History:
Years Active: 2012-2014
Title: Shaked Flur: Innovator in Model Checking and Design Redundancy Detection
Introduction
Shaked Flur is a notable inventor based in Misgav, Israel. He has made significant contributions to the field of model checking and design redundancy detection. With a total of 4 patents to his name, Flur's work has advanced the efficiency of various technological processes.
Latest Patents
Flur's latest patents include innovative techniques for model checking of liveness properties in phase abstracted models. This approach enhances the efficiency of model checking techniques by modifying liveness properties in accordance with the phase abstracted model. Additionally, he has developed methods for detecting design redundancy through augmented-domain simulation, which approximates reachability analysis to identify and eliminate redundancies in models.
Career Highlights
Shaked Flur is currently employed at International Business Machines Corporation (IBM), where he continues to push the boundaries of technology. His work focuses on improving model checking techniques and optimizing design processes, making him a valuable asset to his team and the industry.
Collaborations
Flur collaborates with talented individuals such as Ziv Nevo and Eli Arbel, contributing to a dynamic work environment that fosters innovation and creativity.
Conclusion
Shaked Flur's contributions to model checking and design redundancy detection exemplify his commitment to advancing technology. His innovative patents and collaborative efforts position him as a key figure in the field.
Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.