# 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