Abhishek Kr Singh

I am a research scholar in the School of Technology and Computer Science at TIFR Mumbai, since Aug 2012. I did my M.Tech. in Media and Sound Engineering from IIT Kharagpur and B.Tech. in CSE from Govt. College of Engineering and Textile Technology Berhampore. At TIFR, I am working with Prof. N Raja (superviser).


Office: A 222
STCS, TIFR, Homi bhaba road,
Colaba, 400005 Mumbai, India.
Email: abhishek.singh@tifr.res.in
Phone: +91 22 2278 2338

Research interests

I am broadly interested in the study of Computability Theory. My current research interest is in the formalization of mathematics using theorem provers. In particular, I am trying to use the Coq proof assistant to formalize some interesting results from Combinatorics.


I did a reading project titled Interactive theorem proving in Coq and the Curry-Howard Isomorphism under the guidance of Prof. N Raja. Aim of the project was to study the relationship between logic and type theory and how this relationship helps in realizing Proof Assistants like Coq. My project report summarises the study and explains very briefly the theoretical foundations of the Coq Proof Assistant.

Coq Codes

Research Articles