About

Hey there! My name is Gagan and I’m a 20 year old from Bengaluru, India. I’m a third year undergraduate student at PES University studying Computer Science and Engineering. 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 sometimes dabble in Software Security and occasionally play CTFs where I focus on Binary Exploitation and Reverse Engineering. I’m also passionate about Free and Open-Source Software.

In my spare time, I enjoy hopping between Linux distros. I also love playing and watching football.