I'm a Computer Science PhD student at the University of Minnesota with an interest in logic, proof theory, and programming languages. On the side, I enjoy programming web and mobile applications.

I want to write more about my research and projects, so I created this blog to share my thoughts and experiences. I used to have a blog but I've decided to start fresh since a lot of the posts were tangential to my current interests and I want to cultivate a more informal writing style in my blog.