Steven P Miller

Title: Innovations by Steven P. Miller

Introduction

Steven P. Miller is an accomplished inventor based in Iowa City, IA (US). He has made significant contributions to the field of computer science, particularly in model-checking performance. His innovative approach has led to the development of a unique patent that enhances the verification of source programs.

Latest Patents

Miller holds a patent titled "Variable graph minimization for improved model-checking performance." This patent describes a method of verifying properties of a source program by creating a directed multigraph from the source program. The directed multigraph is minimized by identifying removable vertices, which allows for a more efficient transformation of the source program. The transformed program is then model-checked using a model checking tool to verify the properties of the original source program. This innovative method has the potential to significantly improve the performance of model-checking processes.

Career Highlights

Steven P. Miller is currently employed at Rockwell Collins, Inc., where he applies his expertise in computer science and engineering. His work at the company has allowed him to collaborate with other talented professionals in the field, further enhancing his contributions to technology and innovation.

Collaborations

One of his notable coworkers is Michael W. Whalen. Their collaboration has likely fostered an environment of innovation and creativity, leading to advancements in their respective projects.

Conclusion

Steven P. Miller's contributions to the field of computer science through his patent and work at Rockwell Collins, Inc. highlight his role as a significant innovator. His method for improving model-checking performance showcases the importance of innovation in technology.