About page

I am Leif Andersen. I am a PhD student studying programming languages at the University of Utah in the U-Combinator group. My latest work has involved creating a unified semantics for interpretation using the K Framework.