Daniel Prun

Title: The Innovative Mind of Daniel Prun

Introduction

Daniel Prun is an accomplished inventor based in Pinsaguel, France. He has made significant contributions to the field of interactive components through his innovative patent. His work focuses on the verification of properties of interactive components, showcasing his expertise in technology and software development.

Latest Patents

Daniel Prun holds a patent for a "Method, software and processing unit for verifying properties of interactive components." This invention relates to the verification of properties of an interactive component that has a recursive tree structure of subcomponents. The verification process involves creating an oriented graph from the tree, which includes arcs for the child relationships and arcs for couplings between the components. Additionally, the verification entails creating a second graph that represents the property and checking if this second graph is exhibited within the first oriented graph.

Career Highlights

Daniel Prun is associated with the Ecole Nationale De L'aviation Civile, where he applies his knowledge and skills in aviation-related technologies. His work at this esteemed institution highlights his commitment to advancing the field of interactive components and software verification.

Collaborations

Throughout his career, Daniel has collaborated with notable colleagues such as Stéphane Chatty and Mathieu Magnaudet. These collaborations have further enriched his work and contributed to the development of innovative solutions in his field.

Conclusion

Daniel Prun exemplifies the spirit of innovation through his patent and contributions to interactive components. His work not only enhances technology but also sets a foundation for future advancements in the industry.