About

Hey there! My name is Gagan and I’m a 21 year old from Bengaluru, India. I’m a third year undergraduate student at PES University studying Computer Science and Engineering. 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 hopping between Linux distros. I also love playing and watching football.