Company Filing History:
Years Active: 2005-2008
Title: Michael Pelican: Innovator in Computer Service Security and Verification
Introduction
Michael Pelican is a notable inventor based in Purcellville, Virginia. He has made significant contributions to the field of computer service security and formal verification. With a total of 2 patents to his name, Pelican continues to push the boundaries of technology through his innovative ideas.
Latest Patents
Pelican's latest patents include a "System and method for computer service security." This invention describes a computer-based service security system that processes queries through a lead server and creates multiple copies of that server. If a query causes an issue, it is directed to a learning server, and the lead server is replaced by one of its copies. Another significant patent is "Incremental automata verification," which outlines methods for performing formal verification of systems defined by automata. This approach enhances computing efficiencies by retaining information from previous verification runs, thus streamlining the process for future verifications.
Career Highlights
Michael Pelican is currently employed at Honeywell International Inc., where he applies his expertise in developing advanced technological solutions. His work has been instrumental in enhancing security measures and verification processes within the company.
Collaborations
Throughout his career, Pelican has collaborated with esteemed colleagues, including David John Musliner and Robert Prescott Goldman. These partnerships have fostered a creative environment that encourages innovation and the sharing of ideas.
Conclusion
Michael Pelican stands out as a prominent inventor in the realm of computer service security and verification. His contributions through patents and collaborations reflect his commitment to advancing technology.