ºÚÁÏÍø

I am a Junior Research Fellow in Computer Science at ºÚÁÏÍø. My research concerns the efficient implementation of functional programming languages, with a special focus on functional approaches to classic algorithms and data structures. Concretely, I work on precise reference counting, graded modal type systems, and models of persistence.

I carried out my PhD research at the University of Edinburgh with Sam Lindley and Daan Leijen. During my PhD, I interned once at Microsoft Research, where I designed functional top-down algorithms in Koka, and twice at Jane Street, where I wrote the initial version of the uniqueness mode and in-place reuse of OxCaml. I hold a BSc in Mathematics and an MSc in Computer Science from the University of Bonn, Germany.