Abhishek Dang

Abhishek Dang

Supervisor: Piyush P Kurur, Sunil Simon

KD-108, Computer Science and Engineering Indian Institute of Technology, Kanpur. ahdang@cse.iitk.ac.in
Abhishek Dang photo

About me

I come from a mathematics background that stemmed from a faculty for problem solving. My 'work' areas are dictated by an endeavour to remain close to theory while being able to 'see' the problem at hand.


MSc. Computer Science, Chennai Mathematical Institute

Research Interest

  • Type Theory
  • Proof assistants
  • Verification