Teaching

Chalmers University of Technology

Teacher:

Formal Methods for Security
2025
Advanced Networking
2026

Teaching Assistant:

Language-Based Security TDA602/DIT101
2026
Object-oriented Programming and Design TDA553
2026
Continuation Course in Programming in Python DAT516
2025

KTH Royal Institute of Technology

Teaching Assistant:

Language-Based Security DD2525
2020 - 2024
  • Developer and maintainer of the Android Security lab.
  • Challenge developer for the course's CTF competition
Computer Security DD2395
2021 - 2024
Programming Techniques DD1310
2020 - 2022
Internet Programming DD1386
2021, 2024
Software Engineering DD1385
2020 - 2024
Applied Cryptography DD2520
2022, 2023
Software Safety and Security DD2460
2021