This inventor holds 3 USPTO granted patents. Top assignee: Rockwell Collins, Inc.. Active years: 2009-2014.
Company Filing History:
Years Active: 2009-2014
Title: Michael W Whalen: Innovator in High-Assurance Computing
Introduction
Michael W Whalen is a notable inventor based in Edina, MN (US). He has made significant contributions to the field of high-assurance computing, holding a total of 3 patents. His work focuses on methodologies that enhance the reliability and security of computing elements and microcode.
Latest Patents
Whalen's latest patents include a "Method and system for the development of high-assurance computing elements." This invention outlines a comprehensive methodology for developing high-assurance computing elements, which involves several steps such as receiving requirements, creating models, generating higher order language (HOL) code, simulating behavior, and formally verifying the model. Another significant patent is the "Method and system for the development of high-assurance microcode." This patent details a similar methodology tailored for microcode, emphasizing the importance of rigorous testing and verification.
Career Highlights
Michael W Whalen is currently employed at Rockwell Collins, Inc., where he applies his expertise in high-assurance computing. His innovative approaches have positioned him as a key figure in the development of secure computing technologies.
Collaborations
Whalen has collaborated with notable colleagues such as Philippe M T Limondin and T Douglas Hiratzka, contributing to advancements in their shared field of expertise.
Conclusion
Michael W Whalen's contributions to high-assurance computing through his patents and work at Rockwell Collins, Inc. highlight his role as an influential inventor in the technology sector. His methodologies continue to pave the way for advancements in secure computing solutions.