Company Filing History:
Years Active: 2017-2018
Title: Sumanth Dathathri: Innovator in Software Verification Technologies
Introduction
Sumanth Dathathri is a notable inventor based in Pasadena, CA. He has made significant contributions to the field of software verification, holding 2 patents that showcase his innovative approach to improving software reliability and efficiency.
Latest Patents
One of Sumanth's latest patents is focused on the falsification of software programs with datastore(s). This technology enhances the speed of software verification by utilizing an approximation of a datastore that stores a multiplicity of indexed data. The method identifies data points that may violate a software program's specifications by using approximations of the datastore. It determines data ranges that reflect subsets of data containing the suspected data points and searches the datastore for these entries to verify compliance with the specifications.
Another significant patent involves the approximation of a datastore that stores indexed data entries. This technology computes an approximation of a datastore by employing a template that includes programming logic. When executed, this logic calculates outputs based on inputs and undetermined parameters, which are then processed through a machine learning framework. The framework retrieves data entries from the datastore and determines values for the undetermined parameters, generating an approximation of the datastore using the determined parameters and inputs.
Career Highlights
Sumanth Dathathri is currently employed at Toyota Jidosha Kabushiki Kaisha, where he applies his expertise in software verification technologies. His work at Toyota reflects his commitment to advancing automotive software systems and ensuring their reliability.
Collaborations
Sumanth collaborates with talented individuals such as Nikos Arechiga Gonzalez and Shashank Jivan Vernekar. These partnerships enhance the innovative environment in which he works, fostering creativity and technological advancement.
Conclusion
Sumanth Dathathri is a prominent inventor whose work in software verification technologies is paving the way for more efficient and reliable software systems. His contributions are significant in the field, and his patents reflect a deep understanding of the complexities involved in software verification.