Benjamin Peters
Contact details here
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 combining Kripke and separation logic reasoning in Iris. I have a bachelor's degree in computer science from Saarland University, and a master's degree from Oxford University.
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 combining Kripke and separation logic reasoning in Iris. I have a bachelor's degree in computer science from Saarland University, and a master's degree from Oxford University.
Publications
Mode Crossing (conditionally accepted)
Benjamin Peters, Jules Jacobs, Diana Kalinichenko, Liam Stevenson, Aspen Smith, Derek Dreyer, Richard A. EisenbergICFP 2026, Indianapolis, USA, 2026