Company Filing History:
Years Active: 2017-2024
Title: Sean A Weaver: Innovator in Computer Science
Introduction
Sean A Weaver is a notable inventor based in Baltimore, MD (US). He has made significant contributions to the field of computer science, particularly in the development of hashing techniques and satisfiability filters. With a total of 2 patents, Weaver's work has implications for data structures and algorithms used in various applications.
Latest Patents
Weaver's latest patents include "Systems and methods of minimal perfect hashing with XORSAT filters" and "Satisfiability filter and query tool and method of building a satisfiability filter and query tool." The first patent describes a computer-implemented method for constructing a minimal perfect hash function. This method involves selecting a set of hash functions and building a bipartite graph from keys to hash values. The process includes determining a minimal weight perfect matching of the bipartite graph and generating an XORSAT filter for efficient querying. The second patent outlines a method for building a SAT filter using hash functions to map elements to literals, creating equations for satisfiability instances. This method allows for effective testing of set membership through a query tool.
Career Highlights
Throughout his career, Sean A Weaver has worked with various organizations, including the Government of the United States, represented by the Director of the National Security Agency. His expertise in computer science has allowed him to contribute to critical projects that enhance data processing and security.
Collaborations
Weaver has collaborated with notable individuals in his field, including Victor W Marek and Andrew J Mayer. These collaborations have further enriched his work and expanded the impact of his inventions.
Conclusion
Sean A Weaver is a distinguished inventor whose contributions to computer science have paved the way for advancements in hashing techniques and satisfiability filters. His innovative patents reflect his commitment to enhancing data processing methods.