Hello! Welcome to my personal website.
I enjoy coding and am also interested in theoretical computer science, in particular programming language theory and type theory.
Currently I am doing my master's degree at Columbia University, studying Computer Science.
Links - Contact information & my other online identities
Posts - (preallocated space for) My blog posts
Publications - Academic publications