Hi, I’m a PhD student at the University of Copenhagen interested in all things type systems, functional programming, and compilers. I’m graduating in December 2024 and am actively looking for a postdoc/research position/job; please get in contact if you think I may be a match!