This inventor holds 1 USPTO granted patent. Top assignee: Rockwell Collins, Inc.. Active years: 2014.
Company Filing History:
Years Active: 2014
Title: David F Leskowicz: Innovator in High-Assurance Computing
Introduction
David F Leskowicz is a notable inventor based in Marion, IA (US). He has made significant contributions to the field of computing, particularly in the development of high-assurance computing elements. His innovative approach has led to the creation of a patented methodology that enhances the reliability and security of computing systems.
Latest Patents
David holds a patent for a "Method and system for the development of high-assurance computing elements." This invention outlines a comprehensive methodology that includes several key steps. These steps involve receiving a plurality of requirements detailing the intended behavior of high-assurance computing elements, creating a model based on these requirements, and generating higher order language (HOL) code from the model. The process further includes simulating the behavior of the computing elements, generating test cases, translating the model into a verification tool-specific format, and formally verifying the model using a verification tool. This patent showcases his expertise in ensuring the robustness of computing systems.
Career Highlights
David is currently employed at Rockwell Collins, Inc., where he applies his knowledge and skills to advance the company's technological capabilities. His work focuses on developing methodologies that enhance the assurance of computing elements, making them more reliable for various applications.
Collaborations
Throughout his career, David has collaborated with esteemed colleagues such as John Mettenburg and Michael W Whalen. These partnerships have allowed him to leverage diverse expertise and contribute to innovative projects in the field of computing.
Conclusion
David F Leskowicz is a prominent figure in the realm of high-assurance computing, with a patented methodology that significantly improves the reliability of computing systems. His contributions continue to influence the industry and pave the way for future innovations.