Abhishek Singh

Abhishek Singh's picture

Designation: 

  • Research Scholar

Room: 

A-222

Phone: 

+91 22 2278 2338

Interests: 

Logic, Recursive Function Theory, Interactive Theorem Proving (The Coq Proof Assistant).