Plainsboro, NJ, United States of America

Malay K Ganai

USPTO Granted Patents = 21 (Patent Applications = 8)

EPO Patents = 2

Average Co-Inventor Count = 2.0

ph-index = 7

Forward Citations = 368(Granted Patents)

Location History:

Plainsboro, NJ (US) (2007 - 2013)
Princeton, NJ (US) (2014)

Company Filing History:

20 out of 718

Nec Laboratories America, Inc.

Years Active: 2007-2014

Loading Chart...

21 patents (USPTO):Sort by Forward CitationsExplore Patents

1. 8707272 - Scenario driven concurrency bugs: model and check (2014-04-22),

2. 8589126 - System and method for model checking by interleaving stateless and state-based methods (2013-11-19),

3. 8539451 - Systems and methods for model checking the precision of programs employing floating-point operations (2013-09-17),

4. 8539013 - Efficient decision method for real non-linear arithmetic constraints (2013-09-17),

5. 8538900 - Integrating interval constraint propagation with nonlinear real arithmetic (2013-09-17),

6. 8532971 - DPLL-based SAT solver using with application-aware branching (2013-09-10),

7. 8504330 - Parallelizing bounded model checking using tunnels over a distributed framework (2013-08-06),

8. 8448145 - Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions (2013-05-21),

9. 8131661 - Efficient decision procedure for bounded integer non-linear operations using SMT(LIA) (2012-03-06),

10. 8131532 - Software verification using range analysis (2012-03-06),

11. 8005661 - Modeling and verification of concurrent systems using SMT-based BMC (2011-08-23),

12. 7949511 - System and method for tunneling and slicing based BMC decomposition (2011-05-24),

13. 7930659 - Software verification (2011-04-19),

14. 7853906 - Accelerating high-level bounded model checking (2010-12-14),

15. 7743352 - Computer implemented method of high-level synthesis for the efficient verification of computer software (2010-06-22),

Title: Inventor Malay K Ganai - Pioneering Innovations in Plainsboro

Introduction: Malay K Ganai is a visionary inventor based in Plainsboro, NJ, known for her groundbreaking contributions to the field of technology and innovation.

Latest Patents: Malay K Ganai holds several patents in the areas of artificial intelligence, renewable energy, and sustainable technologies, showcasing her commitment to creating a more sustainable future.

Career Highlights: With a career spanning over two decades, Malay K Ganai has worked with leading tech companies and research institutions, spearheading projects that have revolutionized industries.

Collaborations: Throughout her career, Malay K Ganai has collaborated with top researchers, engineers, and scientists, fostering a culture of innovation and excellence in all her projects.

Conclusion: Malay K Ganai's passion for innovation and her dedication to creating impactful solutions have solidified her reputation as a pioneering inventor in Plainsboro and beyond.

This text is generated by artificial intelligence and may not be accurate.

Please report any incorrect information to support@idiyas.com

8 patents pending:

Please report any incorrect information to support@idiyas.com

2 patents (EPO):

Please report any incorrect information to support@idiyas.com

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.