About
I’m a Postdoctoral researcher at the MAPLE Lab, Department of Computing Science, University of Alberta, working with Karim Ali.
I finished my Doctorate at the Software Practices Lab, Department of Computer Science, University of British Columbia. I worked on ``A formal framework for understanding runtime checking errors in gradually typed languages’’. My thesis supervisor was Ronald Garcia.
I am currently teaching CMPUT 229 Computer Organization and Architecture I at the University of Alberta. I have previoulsy taught CPSC 311 Definition of Programming Languages as a Sessional Lecturer at UBC.
I also have a Masters degree from the Department of Computer Science at the University of Chile, where I was affiliated with the PLEIAD lab, working with both Ronald Garcia and Éric Tanter.