email | cv | github | linkedin
I’m a compiler engineer at NVIDIA, where I work on compilation of large language models for fast inference.
I did my PhD at Aarhus University on formal verification of distributed systems using separation logic and the Rocq proof assistant. My advisor was Lars Birkedal.
I live in Waterloo, ON, Canada.
For a list of my publications, see my Google Scholar profile.