Location History:
- Sunnyvale, CA (US) (2020)
- Beijing, CN (2021)
Company Filing History:
1 out of 926 
1 out of 915 
Years Active: 2020-2021
Title: Qian Feng - Innovator in Symbolic Execution and Protobuf Verification
Introduction
Qian Feng is a notable inventor based in Beijing, China. He has made significant contributions to the fields of symbolic execution and data communication verification. With a total of 2 patents, his work focuses on enhancing the reliability and efficiency of software applications.
Latest Patents
Qian Feng's latest patents include a "Method, device and computer-readable storage medium for guiding symbolic execution." This patent provides a method and apparatus for guiding symbolic execution by determining specific code regions of a program. It utilizes program inverse analysis to obtain program loop outputs, which can then be used to filter out impossible execution paths, thereby improving the reliability of symbolic execution.
Another significant patent is the "Generic verification approach for Protobuf based projects." This invention outlines a method and system for using a verification substitute header file in applications that utilize Protocol Buffers (Protobuf) for data communication. The process involves generating a verification substitute header file based on Protobuf message types and including it in the source code for application verification.
Career Highlights
Qian Feng has worked with prominent companies such as Baidu USA LLC and Baidu Online Network Technology (Beijing) Co., Ltd. His experience in these organizations has allowed him to develop innovative solutions that address complex technical challenges.
Collaborations
Some of his notable coworkers include Yulong Zhang and Tao Wei, who have collaborated with him on various projects, contributing to the advancement of technology in their respective fields.
Conclusion
Qian Feng's contributions to symbolic execution and Protobuf verification demonstrate his commitment to innovation and excellence in technology. His patents reflect a deep understanding of software reliability and efficiency, making him a valuable figure in the tech industry.
Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.