Frontend Engineer @ Tiptap, Based in Berlin Core Maintainer of Tiptap

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.