CV
In addition to having a MSc and BSc in computer science, I also have an MA in library and information science and a BA in gender studies.
Publications
Please see my separate list of publications!
Conference presentations (without papers)
For paper presentations, see my publications!
Teaching
- Secure Computer Systems I, 2021
- 1DT088 Projekt, 2021
- Platform-Spanning Systems, 2020, 2021, 2022, 2023
- Imperative and object-oriented programming methodology, 2019, 2020
- Programming for Teachers, 2019
I have also guest lectured about Rust at the Imperative and Object-oriented programming methodology course.
Undergraduate Theses Supervised
- Fridtjof Stoldt. A Large-Scale Analysis of Borrow Patterns Used Inside Rust's Open-Source Ecosystem (MSc), spring 2024
- Dennis Örnberg. Prototyping an mcSAT-based SMT solver in Rust (MSc), spring 2021
- Kevin Alemi. Input Validation and Sanitization (MSc), spring 2021
- Per Andersson. Symbolic Execution with String Solvers (BSc), spring 2020
Workshops, Conferences, and Summer Schools Attended
- I talked about the Polonius project at the 2024 IWACO Workshop (co-located with SPLASH) under the heading The First Six Years in the Development of Polonius, an Improved Borrow Checker. This talk is essentially the same as my presentation for EuroRust 2024 above.
- 32nd Nordic Workshop on Programming Theory, NWPT 2021 (as presenter)
- 14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020)
- Programming Language Mentoring Workshop at SPLASH 2019 (as student volunteer)
- Programming Language Mentoring Workshop at PLDI 2018 (grant funded)
Volunteer Work and Extra-Curricular Experience
- Artefact Reviewer at CAV 2021
- PhD representative at the IT department board at Uppsala university, 2020–2021 (2 terms, elected)