Axel Sorenson

AxelPSorenson@gmail.com | GitHub | LinkedIn | Resume

Hi, I'm Axel Sorenson. I'm a second year 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.

Posts