Company Filing History:
Years Active: 2019
Title: Harold David Seigel: Innovator in Runtime Verification
Introduction
Harold David Seigel is a notable inventor based in Acton, MA (US). He has made significant contributions to the field of technology, particularly in the area of runtime verification. With a total of 2 patents to his name, Seigel's work has had a meaningful impact on software development and verification processes.
Latest Patents
Seigel's latest patents focus on generating verification metadata and verifying a runtime type based on this metadata. The operations involved in his patents include receiving a request to verify a first runtime type loaded based on a first runtime type reference. He identifies verification metadata that comprises a stored assignable relationship between a second runtime type reference and a third runtime type reference. Furthermore, he determines whether an actual assignable relationship between a second runtime type and a third runtime type adheres to the stored assignable relationship. Finally, responsive to this determination, he concludes that the first runtime type is verified based on the verification metadata.
Career Highlights
Harold David Seigel is currently employed at Oracle International Corporation, where he continues to innovate and contribute to the field of technology. His work at Oracle has allowed him to collaborate with other talented professionals and further develop his expertise in runtime verification.
Collaborations
Some of Seigel's notable coworkers include Karen Margaret Pearson Kinnear and Lois Dickinson Foltan. Their collaborative efforts have likely contributed to the advancements in their respective fields.
Conclusion
Harold David Seigel is a distinguished inventor whose work in runtime verification has paved the way for advancements in software technology. His contributions continue to influence the industry and inspire future innovations.