A BDD SAT solver for satisfiability testing: An industrial case study
- Ruchir Puri
- Jun Gu
- 1996
- Ann. Math. Artif. Intell.
Dr. Ruchir Puri is the Chief Scientist of IBM Research, an IBM Fellow, and Vice-President of IBM Corporate Technology and Technical Community. He led IBM Watson as its CTO and Chief Architect from 2016-19 and has held various technical, research, and engineering leadership roles across IBM’s AI and Research businesses.
Dr. Puri is a Fellow of the IEEE, and has been an ACM Distinguished Speaker, an IEEE Distinguished Lecturer, and was awarded 2014 Asian American Engineer of the Year. Ruchir is the recipient of the prestigious Distinguished Alumnus Award from Indian Institute of Technology (IIT), Kanpur and has been an adjunct professor at Columbia University, NY, and a visiting scientist at Stanford University, CA. He was honored with John Von-Neumann Chair at Institute of Discrete Mathematics at Bonn University, Germany. He is an inventor of over 70 US patents and has authored over 120 scientific papers.