Anton Lorenzen

I am a PhD student at the University of Edinburgh supervised by Sam Lindley and Daan Leijen. I have been an intern in the RiSE group at Microsoft Research and the OCaml compiler team at Jane Street. Before that, I studied mathematics and computer science at the University of Bonn, Germany.

I am interested in improving functional algorithms with techniques such as defunctionalization, in-place reuse and tail recursion modulo cons. I am also working on optimizations for Perceus-style reference counting (as implemented in Koka) and modal type systems for in-place reuse. Previously, I worked on the Naproche proof assistant which provides an elegant natural language interface for mathematical proofs.

Feel free to email me if you want to get in touch.

Built with Pure v2. Impressum