logo

For the Inventor, By the Inventor

Plainsboro, NJ, United States of America

Malay K Ganai

USPTO Granted Patents = 21 


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:

goldMedal20 out of 718 
 
Nec Laboratories America, Inc.
 patents
silverMedal1 out of 35,705 
 
Nec Corporation
 patents

Years Active: 2007-2014

Loading Chart...
Loading Chart...
21 patents (USPTO):Explore 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
Loading…