Company Filing History:
Years Active: 2013-2014
Title: Michael Y Levin: Innovator in Database Technology
Introduction
Michael Y Levin is a notable inventor based in Sammamish, WA (US). He has made significant contributions to the field of database technology, holding 2 patents that showcase his innovative approach to efficient data management and software testing.
Latest Patents
One of his latest patents is titled "Efficient querying using on-demand indexing of monitoring tables." This invention focuses on replicating database tables for efficient data querying. It involves a computer system that accesses an original time-based database table containing various entities and properties. The system periodically updates a new database index table based on user-specified properties and time stamp values, enhancing the efficiency of data retrieval.
Another significant patent is "Active property checking." This method provides software testing through symbolic execution, producing path constraints and injecting issue constraints into the software. By solving these constraints with a constraint solver, the method generates input for testing and checks for violations of the injected constraints. This innovative approach actively checks software properties, ensuring robust testing and reliability.
Career Highlights
Michael Y Levin is currently associated with Microsoft Technology Licensing, LLC, where he continues to develop and refine his innovative ideas. His work at Microsoft has allowed him to contribute to cutting-edge technologies that enhance database management and software testing.
Collaborations
Throughout his career, Michael has collaborated with notable colleagues, including Jinlin Yang and Patrice Godefroid. These collaborations have further enriched his work and contributed to advancements in the field.
Conclusion
Michael Y Levin stands out as an influential inventor in the realm of database technology, with his patents reflecting a commitment to innovation and efficiency. His contributions continue to shape the future of data management and software testing.