About

Hey there! My name is Gagan and I’m a 22 year old from Bengaluru, India. I’m currently a PhD student at the University at Buffalo in the Computer Science Department under Qianchuan Ye. I am passionate about the use of rigorous mathematical techniques to reason about computer programs and their properties, and the use of computational tools to explore mathematical concepts. As such, my interests mainly lie in the field of Programming Languages and span areas like Program Analysis, Formal Methods, Theorem Proving, Functional Programming and Type Theory. I’m also enthusiastic about Free and Open-Source Software.

In my spare time, I enjoy playing and watching football. I also love to play video games and chess.