I am a research scholar at the School of Computer Science and Engineering at TIFR Mumbai, working in the area of Logic and Type theory. I did my MTech in Media and Sound Engineering from IIT Kharagpur and BTech in CSE from GCETTB (WBUT).