This inventor holds 1 USPTO granted patent. Top assignee: Korea University Research and Business Foundation. Active years: 2025.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile
Company Filing History:
Years Active: 2025
Title: Innovator Wonseok Oh: Pioneering Program Repair Technologies
Introduction
Wonseok Oh is a notable inventor based in Seoul, South Korea. He has made significant contributions to the field of programming languages, particularly in the area of dynamically typed languages. His innovative work focuses on developing methods to automatically repair type errors, which are common challenges faced by developers.
Latest Patents
Wonseok Oh holds a patent for a "Device and method for program repair for type errors in dynamically typed language." This invention discloses a device and method for automatically repairing type errors that occur in dynamically typed languages. The method involves acquiring a buggy program, a testcase, and error information. It also includes collecting a candidate variable where a type error occurs, inferring negative and positive types from test cases, estimating the fault location, generating a patch, and applying it to create a fixed program. This innovative approach streamlines the debugging process and enhances programming efficiency.
Career Highlights
Wonseok Oh is affiliated with the Osong Medical Innovation Foundation and the Korea University Research and Business Foundation. His work in these institutions has allowed him to collaborate with other experts in the field and contribute to advancements in medical and technological innovations.
Collaborations
One of his notable collaborators is Hakjoo Oh. Their partnership has fostered a productive environment for research and development, leading to impactful innovations in their respective fields.
Conclusion
Wonseok Oh's contributions to the field of programming and his innovative patent demonstrate his commitment to improving software development processes. His work not only addresses critical issues in programming but also paves the way for future advancements in technology.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile