Sudeepa Roy

Title: Sudeepa Roy: Innovator in Information Extraction and Model Checking

Introduction

Sudeepa Roy is a notable inventor based in Kolkata, India. He has made significant contributions to the fields of information extraction and model checking. With a total of 2 patents, his work reflects a commitment to advancing technology and improving processes.

Latest Patents

Sudeepa Roy's latest patents include innovative methods that enhance the efficiency of information extraction and model verification. One of his patents, titled "Refining a dictionary for information extraction," outlines a method for refining a dictionary used in information extraction. This method involves inputting a set of extracted results from an extractor, processing these results with an algorithm to balance precision and recall, and outputting candidate dictionary entries for potential removal. Another significant patent is "Automatic translation of Simulink models into the input language of a model checker." This invention provides a translator that converts input models, such as those produced by Simulink, into output models suitable for verification by a model checker, like NuSMV.

Career Highlights

Throughout his career, Sudeepa Roy has worked with prominent companies, including IBM and Honeywell International Inc. His experience in these organizations has allowed him to develop and refine his innovative ideas, contributing to his success as an inventor.

Collaborations

Sudeepa has collaborated with talented individuals in his field, including Laura Chiticariu and Abhishek Bhatnagar. These collaborations have likely enriched his work and led to further advancements in his projects.

Conclusion

Sudeepa Roy's contributions to information extraction and model checking demonstrate his innovative spirit and dedication to technology. His patents reflect a deep understanding of complex systems and a desire to improve them.