Plainsboro, NJ, United States of America

Malay K Ganai

This inventor holds 21 USPTO granted patents and 8 published patent applications and 2 EPO patents. Top assignees: Nec Laboratories America, Inc., Nec Corporation. Active years: 2007-2014.

USPTO Granted Patents = 21 (Patent Applications = 8)

% Patents Active = 19.0

EPO Patents = 2

Average Co-Inventor Count = 2.0

ph-index = 7

Forward Citations = 371(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.