Austin, TX, United States of America

Stephen R Mercer


Average Co-Inventor Count = 2.4

ph-index = 4

Forward Citations = 322(Granted Patents)


Company Filing History:


Years Active: 2010-2019

Loading Chart...
10 patents (USPTO):Explore Patents

Title: Innovations of Stephen R Mercer

Introduction

Stephen R Mercer is a notable inventor based in Austin, TX, who has made significant contributions to the field of computation. With a total of 10 patents to his name, Mercer has developed innovative systems and methods that enhance program validation under specified models of computation. His work is particularly relevant in the context of synchronous statechart models, which are crucial for ensuring deterministic results in program execution.

Latest Patents

One of Mercer's latest patents is titled "Sequentially Constructive Model of Computation - System and Method for Validating a Program Under a Specified Model of Computation." This patent outlines a method for receiving a program that specifies multiple operations using a variable within a logical tick. The variable can have multiple values during this logical tick. The program undergoes static analysis according to a specified model of computation, which determines that the program has deterministic semantics. This ensures that the program yields deterministic results for each logical tick during execution. The validation process allows for a broader set of programs to be validated compared to conventional models, while still maintaining deterministic results.

Career Highlights

Stephen R Mercer is currently employed at National Instruments Corporation, where he continues to innovate and contribute to advancements in computational models. His expertise in program validation and deterministic semantics has positioned him as a key figure in his field.

Collaborations

Mercer has collaborated with talented coworkers such as Akash B Bhakta and Matthew E Novacek, who share his commitment to advancing technology and improving computational methods.

Conclusion

Stephen R Mercer is a distinguished inventor whose work in program validation and computational models has made a significant impact in the field. His innovative patents and collaborations reflect his dedication to enhancing the reliability and efficiency of programming practices.

This text is generated by artificial intelligence and may not be accurate.
Please report any incorrect information to support@idiyas.com
Loading…