Abhishek Dang
Supervisor: Piyush P Kurur, Sunil Simon
KD-108, Computer Science and Engineering Indian Institute of Technology, Kanpur. ahdang@cse.iitk.ac.in
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.
Education
MSc. Computer Science, Chennai Mathematical Institute
Research Interest
- Type Theory
- Proof assistants
- Verification