In 2012, the founders and management decided to transform Strand into a new generation healthcare company. This bold strategic decision was motivated by the emerging impact of genomics in healthcare and the opportunity for a life sciences company with deep data science capabilities like Strand to push the envelope.
Automated Theorem Proving, the cornerstone of “Strong AI”, refers to the ability to create intelligent machines that can implement the formal rules of deductive inference (modus ponens and modus tollens) and derive formal inferences from a set of axioms.
As a young assistant professor at Purdue, Chandru developed a new research area for himself around the computer manipulation of planar and solid geometric objects.
Chandru’s doctoral dissertation work was in the computational complexity of combinatorial optimization.