I am broadly interested in programming languages, compilers, verification and concurrency. I’m particularly motivated by methods that empower programmers to write correct and efficient software in the real world, bridging theory and practice. For my bachelor’s thesis, I worked with Nobuko Yoshida and Joe Paulus on developing the syntax, semantics and model-checking procedure for probabilistic multiparty session types. I was awarded the Department of Computer Science Prize for Best Project in Part B for this work. I’ve also worked with Billy Moses, Albert Cohen, Alex Zinenko and others on integrating equality saturation into Google’s XLA machine learning compiler. For my master’s thesis, I will be working with Max Doré on linear types with dependent multiplicities.