Teaching
Current courses:
- TDDE34: Software Verification.
- TDDI11: Embedded software.
- TDDD86: Data Structures, Algorithms and Programming Paradigms.
Previous courses:
Courses I have been course leader and examiner for:
- Introduction to automatic verification
- Satisfiability Modulo Theory and Optimization
- TDIU11: Operating Systems
- TDTS10: Computer architecture.
- TDDA69: Data and Program Structures.
- TDDC77: Object oriented programming.