home

Heya :D I’m Anahita — a fourth-year computer science student at UBC. I’m a big fan of programming languages and type theory. I also really like functional programming.

I’m currently an undergraduate teaching assistant at UBC for CPSC 210 (Software Construction) and a undergraduate research assistant with the ARLI research group in the Software Practices Lab working on a dependent type preserving compiler framework based on Logical Frameworks.

Outside of my education, I enjoy reading, (song)writing, running, and hiking.

I hope you enjoy the website :)