Kenneth Lane Thompson

Title: Kenneth Lane Thompson: Innovator in Software Testing and Audio Coding

Introduction

Kenneth Lane Thompson is a notable inventor based in Watchung, NJ (US). He has made significant contributions to the fields of software testing and audio coding, holding a total of 4 patents. His innovative techniques have paved the way for advancements in event-driven software and efficient audio transmission.

Latest Patents

One of Thompson's latest patents is titled "Method and apparatus for testing event driven software." This technique involves directly converting the source code of event-driven software into an automation-based model. This model is useful for verifying that the program code complies with user-defined properties. The translation of the event-driven system program code into a target language for a specific model checker allows for a model that assesses whether the execution of the program code will impact the behavior of the event-driven system. This model extraction process is advantageous as it occurs dynamically from the program code without requiring user intervention.

Another significant patent is the "Device and method for efficient utilization of allocated transmission." This invention employs an independent transport layer as an error correction mechanism within perceptual audio coding. The transport layer adds information via a transport header to each block of encoded program material, which is independent of the information within its respective block. This design allows for the separation of the transport header from the digital representation of the program material, enabling changes to the content without altering the transport layer.

Career Highlights

Throughout his career, Kenneth Lane Thompson has worked with prominent companies such as Lucent Technologies Inc. and AT&T IPM Corp. His work in these organizations has contributed to the development of innovative technologies that enhance software testing and audio transmission.

Collaborations

Thompson has collaborated with notable individuals in the field, including Robert C. Pike and Gerard Johan Holzmann. These collaborations have fostered an environment of innovation and creativity, leading to significant advancements in their respective areas of expertise.

Conclusion

Kenneth Lane Thompson's contributions to software testing and audio coding demonstrate his innovative spirit and technical expertise. His patents reflect a commitment to improving technology and enhancing user experience in software applications.