This inventor holds 1 USPTO granted patent and 1 EPO patent. Top assignee: Tata Consultancy Services Limited. Active years: 2022.
Company Filing History:
Years Active: 2022
Title: Innovations by Punit Shah
Introduction
Punit Shah is an accomplished inventor based in Pune, India. He has made significant contributions to the field of software verification. His innovative approach addresses the challenges faced in verifying source code effectively.
Latest Patents
Punit Shah holds a patent for a "System and method for software verification." This invention provides a system and method for verifying a source code. It tackles the difficulty of determining the appropriate technique for software code verification. The system receives a source code encoded with specifications to be verified. A static analysis is performed to identify program features, which may include multiple return paths, loops with unstructured control flow, and numerical loops. Based on these identified features, various verification techniques are applied in a predefined order and for a predetermined period of time.
Career Highlights
Punit Shah is currently employed at Tata Consultancy Services Limited, where he continues to innovate in the field of software development. His work focuses on enhancing the reliability and efficiency of software verification processes.
Collaborations
Punit collaborates with talented coworkers, including Bharti Chimdyalwar and Advaita Datar. Their combined expertise contributes to the success of their projects and innovations.
Conclusion
Punit Shah's contributions to software verification exemplify the importance of innovation in technology. His patent reflects a deep understanding of the complexities involved in software development. Through his work at Tata Consultancy Services Limited, he continues to push the boundaries of what is possible in the field.