My name is Axel Sorenson. Here are my dotfiles.
- I'm a UC Irvine computer science undergraduate alumni.
- I'm a former lab assistant at the Secure Systems and Software Laboratory at UC Irvine.
- I'm a former grader for UC Irvine's ICS 33 and ICS 32a courses.
- I'm a former learning assistant for UC Irvine's ICS 53 course.
- I'm an upcoming University of Utah computer science PhD student in compiler research.
- I'm practicing to become an active LLVM contributor.
The best way to contact me professionally is through my professional email. If you want to contact me casually, it might be best to talk to me on Discord. I'd love to talk to you!
- Professional Email
- Discord - Axelsoft
As Fall approaches and my official start of my PhD journey begins, I've been keeping myself busy with subjects I feel I missed out on at UC Irvine.
- Cornell's CS 3110 course - Data Structures and Functional Programming. I am going through the course's online textbook: OCaml Programming: Correct + Efficient + Beautiful
- Cornell's CS 4/5110 course - Programming Languages and Logics. The course covers the theory and implementation of programming languages. I am going through the course's online material. Additionally, I will supplement it with reading Types and Programming Languages
- Cornell's CS 4160 course - Formal Verification. I am going through the course's online videos. Additionally, I will supplement it with reading Software Foundations, which is what the course is based on.
- Category Theory lectures by Bartosz Milewski.
This is a pretty ambitious list, but I hope to at least cover half of this by Fall (although lets hope I cover all of it).