Marius Minea is a notable inventor based in Pittsburgh, PA (US), recognized for his contributions to the field of computer science and verification processes. He holds 2 patents that focus on enhancing the efficiency of model checking in multi-process systems.

Latest Patents

Minea's latest patents include a method for static partial order reduction, which generates a substantially reduced state space graph of a multi-process system. This innovative process allows for the use of existing model checking tools without requiring modifications. His second patent involves a method and apparatus that employs static partial order reduction and symbolic verification to verify systems that include both hardware and software. This dual-language approach ensures that properties are verified systematically, enhancing the reliability of complex systems.

Career Highlights

Marius Minea is currently associated with Lucent Technologies Inc., where he applies his expertise in verification processes. His work has significantly impacted the way hardware and software systems are designed and verified, making them more efficient and reliable.

Collaborations

Minea has collaborated with esteemed colleagues such as Robert Paul Kurshan and Doron A Peled, contributing to advancements in the field of verification and model checking.

Conclusion

Marius Minea's innovative work in static partial order reduction and verification processes has made a significant impact in the field of computer science. His contributions continue to influence the development of reliable hardware and software systems.

Profile summary based on public USPTO records.

Please report any incorrect information to [email protected]