Teaching and Supervision
Courses
-
Programming Theory (1DT034)
Role: Teacher (2021-2024), Teaching Assistant (2019-2020)
This course introduces the principles of program analysis and verification, including logic, formal specifications, and program proofs using Hoare logic.
-
Real Time Systems (1DT004 / 1DT063)
Role: Teaching Assistant (2019-2020)
The course covers the design and analysis of real-time systems, including scheduling and real-time operating systems. My duties included leading lab sessions and grading lab assignments.
-
Accelerating Systems with Programmable Logic (1DT109)
Role: Teaching Assistant (2020)
This course focuses on using FPGAs to accelerate computations. I assisted students with their projects and lab work, focusing on VHDL and system integration.
Student Supervision
I have had the pleasure of supervising or co-supervising the following student thesis projects:
-
In Progress
MSc
Daniel Wallgren
Evaluating Symbolic Execution Strategies on Constrained Horn Clauses -
In Progress
BSc
Kalle Nordgren
Graph-Based Clausification for Eldarica -
2024
BSc
Isak Drevstad
Parallel / Distributed State-Space Exploration in an Infinite-State Model Checker -
2024
BSc
Fredrik Jäderblom
Implementing and Evaluating FLATA Compatibility with Modern SMT Solvers -
2023
BSc
Danyal Mirza
Adding Support for Floating-Point Arithmetic to TriCera -
2023
BSc
Axel Bergström
Adding Basic Support for Function Pointers in TriCera -
2022
MSc
Pontus Ernstedt
Contract-Based Verification in TriCera