CV

I am currently a PhD Student at the Department of Computing Science, University of Alberta. My overall area of research is Programming Languages (PL). In particular, I am interested in using type systems to improve the safety of programs.