Welcome!
Hello and welcome to my website!
Here you can find some of my work, my resumé, and some info about my work and education!
If you are interested in what I do and wanna talk with me you can reach me at [email protected] and further ways of contacting me can be found in the contact section!
Experiences
-
Mullvad | Rust/iOS Developer > Aug 2026
Working on the Mullvad iOS app mainly focusing on the Rust aspects and increasing interoperability between Rust and Swift.
-
Opera | iOS Developer > Aug 2025 - July 2026
Currently working as an iOS developer for Opera, working on the iOS version of the Opera browser. Working primarily in Swift and UIKit.
-
Chalmers | Research Assistant > Jan 2024 - Jul 2024
Worked as a research assistant for Koen Claessen and Robert Krook. Mainly focused on creating samples of distributed programs in Haskell for use with CPU enclaves.
-
Chalmers | Teacher Assistant > 2021-2024 - Multiple occasions
Worked as a TA multiple times in beginner courses in Python and Haskell.
-
Aptiv | Student Engineer > Jan 2022 - Aug 2022
Worked with the R&D team. Mainly focused on improving the CI pipeline and some middleware development. Worked with Rust, but also got to work with FFI and software such as MatLab.
-
Datavetenskapsdivisonen | Chairman of the Board > Sep 2021 - Dec 2024
I was the chairman of the Datavetenskapsdivisonen student organization at the University of Gothenburg. During my time, I got a lot of experience in student representation and organisational management.
Education
-
Computer Science | Master - University of Gothenburg > August 2023 - June 2025
The courses were mainly focused on language theory and compilers, but with some other interesting courses mixed in:
Type for programs and proofs
- Compiler development
- Logic and algorithms
- Distributed Systems
- Programming language theory
In our thesis we created a systems-level functional programming language called Lithium. The language is continuation based, and uses linear types. I primarily focused on writing the x86-64 code generator, and got to design the ABI and memory layout among other things.
The thesis can be found here.
-
Computer Science | Bachelor - University of Gothenburg > August 2020 - June 2023
The courses were mainly focused on programming and mathematics.
- Object oriented & functional programming
- Project work in larger teams
- Computer networking, parallel & concurrent programming
- Data structures & algorithms
- Programming language technology & compilers
Our bachelor thesis focused on creating a simple functional programming language called Churf. I myself primarily focused on the code genereration, targeting LLVM IR. The thesis can be found here.
Contact
You can find me through the following mediums:
- GitHub: loafey
- Mail: [email protected]
- Matrix: @loafet:matrix.org
- Discord: loafey
- YouTube: loafey-eh