Benjamin Peters

I'm a PhD student advised by Derek Dreyer at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany. I'm working on OxCaml, a set of OCaml extensions developed by Jane Street. Lately, my work has focused on proving soundness of the combination of OxCaml's concurrency and effect handler APIs, and on improving its support for modal kinds. I have a bachelor's degree in computer science from Saarland University, and a master's degree from Oxford University.