Jamie Kai

I am a student in the BCS-ICS (second Bachelor’s in Computer Science) program at the University of British Columbia. I previously earned a BA in Mathematics and Music at McGill University.

My interests center around automated reasoning and formal methods. I have research experience with program verification, model checking and probabilistic logic. I am increasingly interested in safe and explainable AI, particularly in approaches involving causal inference and probabilistic graphical models.

I am fortunate to have worked with Alex Summers at UBC on the Viper project, and with Mina Tahmasbi Arashloo at the University of Waterloo on network performance analysis. I previously worked as a long-term research assistant and lab manager at the UBC Vision Lab with James Enns, where I helped develop studies on action-perception theory, object recognition and social psychology.

I also worked for several years a software developer (data analysis and full-stack development) in virology and neuroscience labs.