Jamie Kai

portrait.jpg

I am an MSc student in Computer Science at the University of British Columbia, supervised by Ron Garcia and Alex Summers in the Software Practices Lab.

My research draws on programming language semantics, automated reasoning and probabilistic logic. Currently, I am focusing on the design of probabilistic programming languages.

I am fortunate to have worked with Alex Summers on the Viper verification framework, and with Mina Tahmasbi Arashloo at the University of Waterloo on formal methods for 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 developed studies on perception-action theory and social psychology.

I have also worked for several years a research software developer in virology and neuroscience labs.


selected publications

  1. Listening to trees in the forest: Attentional set influences how semantic and acoustic factors interact in auditory perception
    Veronica Dudarev, Jamie Kai, Noor Brar, and James T. Enns
    Attention, Perception, & Psychophysics, 2024
    DOI
  2. Self-monitoring hinders the ability to read affective facial expressions
    Manlu Liu, Veronica Dudarev, Jamie Kai, Noor Brar, and James T. Enns
    Visual Cognition, 2024
    DOI