This inventor holds 1 USPTO granted patent and 1 published patent application and 1 EPO patent. Top assignee: Tata Consultancy Services Limited. Active years: 2022.
Company Filing History:
Years Active: 2022
Title: Avriti Chauhan: Innovator in Software Verification
Introduction
Avriti Chauhan is a notable inventor based in Pune, India. He has made significant contributions to the field of software verification, showcasing his expertise through innovative solutions. His work focuses on enhancing the reliability and accuracy of software code verification processes.
Latest Patents
Avriti Chauhan holds a patent for a "System and method for software verification." This invention addresses the challenges associated with verifying source code. The system receives a source code encoded with specifications to be verified. It performs static analysis to identify program features, such as multiple return paths and loops with unstructured control flow. Based on these features, appropriate verification techniques are applied in a predefined order and for a predetermined period of time.
Career Highlights
Avriti is currently employed at Tata Consultancy Services Limited, where he continues to develop innovative solutions in software engineering. His work has been instrumental in advancing the methodologies used for software verification, making significant impacts in the industry.
Collaborations
Some of his coworkers include Venkatesh Ramanathan and Asia Akhtar, who contribute to the collaborative environment at Tata Consultancy Services Limited.
Conclusion
Avriti Chauhan's contributions to software verification exemplify his commitment to innovation in technology. His patent reflects a deep understanding of the complexities involved in software development and verification.