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!

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

• 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

• 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)