Location History:
- Seattle, WA (US) (2021)
- Edina, MN (US) (2023)
Company Filing History:
Years Active: 2021-2024
Title: Michael William Whalen: Innovator in IoT and Software Verification
Introduction
Michael William Whalen is a notable inventor based in Seattle, WA (US). He has made significant contributions to the fields of Internet of Things (IoT) and software verification. With a total of 3 patents, his work focuses on enhancing the reliability and correctness of IoT systems and legacy software.
Latest Patents
One of Whalen's latest patents is titled "IoT event detector correctness verification." This invention involves systems and methods for verifying the correctness of IoT event detector models. These models utilize data from IoT devices to detect events that trigger specific actions. The event detector model correctness checker verifies whether the model complies with defined correctness properties, generating reports that indicate any non-compliance within the model definition.
Another significant patent is related to "Transitioning legacy software to be provably correct." This process supports the transition from unverifiable legacy code to verifiable code that is correct by construction. A behavioral model is developed for the legacy software, which includes various behavioral criteria. The source code is then verified using this model, ensuring that the new implementation is accurate and reliable.
Career Highlights
Michael Whalen is currently employed at Amazon Technologies, Inc., where he continues to innovate in the field of software and IoT technologies. His work is instrumental in ensuring that systems are not only functional but also reliable and secure.
Collaborations
Whalen collaborates with talented individuals such as Neha Rungta and Carsten Varming, contributing to a dynamic and innovative work environment.
Conclusion
Michael William Whalen's contributions to IoT and software verification highlight his role as a leading inventor in these fields. His patents reflect a commitment to enhancing the reliability of technology, making significant strides in the industry.
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.