Company Filing History:
Years Active: 2013-2025
Title: The Innovative Journey of Priyanka Darke
Introduction
Priyanka Darke is a prominent inventor based in Pune, India. She has made significant contributions to the field of software engineering, particularly in program slicing and software verification. With a total of 6 patents to her name, Priyanka has established herself as a leading figure in her domain.
Latest Patents
One of her latest patents is titled "Method and system for function call and variable access based relaxed backward slicing." This invention relates to program slicing and introduces a method that focuses on functions called from an entry function. The slicing criterion utilizes control and data flow information to effectively slice the entry function concerning the functions called within it. This technique also identifies partitions of functions based on the variables accessible in and functions called from the entry function.
Another notable patent is the "System and method for software verification." This invention provides a systematic approach to verifying source code. It involves receiving a source code encoded with specifications to be verified and performing static analysis to identify program features. Based on these features, various verification techniques are applied in a predetermined order to ensure the software's reliability.
Career Highlights
Priyanka currently works at Tata Consultancy Services Limited, where she continues to innovate and contribute to the field of software development. Her work has garnered attention for its practical applications and effectiveness in enhancing software quality.
Collaborations
Throughout her career, Priyanka has collaborated with talented individuals such as Venkatesh Ramanathan and Bharti Chimdyalwar. These collaborations have further enriched her work and contributed to her success as an inventor.
Conclusion
Priyanka Darke's innovative contributions to software engineering exemplify her dedication to advancing technology. Her patents reflect her expertise and commitment to improving software verification and program slicing techniques.