Dr Joel Berkeley
Research Associate
PublicationsI am an RA at the University of Oxford. I earned my PhD from Queen Mary, University of London, in mathematical physics. Before joining the University of Oxford, I worked in various industry roles, including at Secondmind and Honu AI, with an emphasis on in AI. Right now, my focus is on realising multiparty session types with dependent types.