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 the University of British Columbia 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.