Jamie Kai

I am an MSc student in Computer Science in the University of British Columbia Software Practices Lab, co-supervised by Ron Garcia and Ohad Kammar (University of Edinburgh).

My research interests lie in probabilistic formal methods, such as the design of probabilistic programming languages and statistical model checking. I have more than a passing interest in applying these formal methods to safe AI and reinforcement learning. I am also interested in the foundations of probabilistic programming and statistical computing, particularly in the interplay of algebraic and topological models of computation with classical mathematics, such as probability theory and functional analysis.

I previously worked with Alex Summers on separation logics for algebraic program specifications in the Viper verification framework, and with Mina Tahmasbi Arashloo on probabilistic formal methods for network performance analysis. Before that, I worked as a research software developer in various virology, cognitive psychology and neuroscience labs.

In the more distant past, I studied mathematics and music technology, and dabbled in experimental electronic music.