This inventor holds 1 USPTO granted patent and 1 published patent application. Top assignee: Tmaxsoft Co., Ltd.. Active years: 2022.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile
Company Filing History:
Years Active: 2022
Title: Seokjun Hong: Innovator in Runtime Verification Systems
Introduction
Seokjun Hong is a notable inventor based in Gyeonggi-do, South Korea. He has made significant contributions to the field of computer programming and verification systems. His innovative work focuses on enhancing the reliability of programs through advanced verification techniques.
Latest Patents
Seokjun Hong holds a patent for a "Universal runtime verification system between source language and language converted through transpiler." This invention involves a computer program that executes operations to ensure that a program written in a source language is accurately converted to a target language. The process includes generating block information from the source program, inserting annotations into the target program, and creating meta information for runtime verification. This patent showcases his expertise in bridging the gap between different programming languages.
Career Highlights
Seokjun Hong is currently associated with Tmaxsoft Co., Ltd., a company known for its innovative software solutions. His role at Tmaxsoft allows him to apply his knowledge and skills in developing advanced technologies that improve software reliability and performance.
Collaborations
(Section skipped due to space constraints.)
Conclusion
Seokjun Hong's contributions to the field of runtime verification systems highlight his innovative spirit and technical expertise. His patent reflects a significant advancement in ensuring the accuracy of programming language conversions.
Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile