I am a PhD student in the mathematics program at University of Wisconsin-Madison. I am interested in categorical logic, type theory, and topos theory. ©

I`m a Coder. It all began with my Dad`s commitment to not buy me a new PC cause our Pentium 3 works just fine. I had to do all sorts of hacks to optimize it and make sure it worked just fine. Soon after my interest shift from computers in general to computer programming. I ended up going to University of Waterloo for Computer Science. After a while coding just became a part of my life. ©