Jamie Kai
I am a student in the BCS-ICS (second Bachelor’s in Computer Science) program at the University of British Columbia. Before this, I studied Mathematics and Music at McGill University.
My current interests include automated reasoning, formal verification, programming language theory, probabilistic models of computation, and decision theory. I am interested in investigating the applicability of these concepts to safe and explainable AI.
I am fortunate to have worked with Dr. Alex Summers at UBC on the Viper project, and with Dr. 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 Dr. James Enns, where I helped develop studies on action-perception theory, social psychology, and object perception.
Outside of this, I have worked as a software developer in scientific research, from full-stack development to implementation of DSP algorithms and statistical analyses.