Hi, I’m Axel Sorenson. I’m a PhD student of Professor John Regehr at the University of Utah. I earned my Bachelor’s degree in Computer Science at the University of California, Irvine, graduating Summa cum laude with a GPA of 4.0.

My research is in the intersection of compilers and formal methods.