A snapshot of events

Chandru’s doctoral dissertation work was in the computational complexity of combinatorial optimization.

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.