Teaching
| 2024 | Compilers and Execution Environments. (KTH Royal Institute of Technology) | ID2202 | Examiner | |||
| Types, Semantics and Programming Languages. (KTH Royal Institute of Technology) | FIK3620 | Course responsible and examiner |
| 2023 | Compilers and Execution Environments. (KTH Royal Institute of Technology) | ID2202 | Examiner |
| 2022 | Compilers and Execution Environments. (KTH Royal Institute of Technology) | ID2202 | Course responsible and examiner | |||
| Computer Hardware Engineering. (KTH Royal Institute of Technology) | IS1200 | Examiner | ||||
| Differentiable Probabilistic Programming Languages (KTH Royal Institute of Technology) | FID3026 | Course responsible and examiner |
| 2021 | Compilers and Execution Environments. (KTH Royal Institute of Technology) | ID2202 | Course responsible and examiner | |||
| Computer Organization and Components. (KTH Royal Institute of Technology) | IS1500 | Examiner | ||||
| Computer Hardware Engineering. (KTH Royal Institute of Technology) | IS1200 | Examiner |
| 2020 | Compilers and Execution Environments. (KTH Royal Institute of Technology) | ID2202 | Course responsible and examiner | |||
| Computer Organization and Components. (KTH Royal Institute of Technology) | IS1500 | Examiner | ||||
| Computer Hardware Engineering. (KTH Royal Institute of Technology) | IS1200 | Course responsible and examiner | ||||
| Types, Semantics and Programming Languages. (KTH Royal Institute of Technology) | FIK3620 | Course responsible and examiner |
| 2019 | Computer Organization and Components. (KTH Royal Institute of Technology) | IS1500 | Course responsible and examiner | |||
| Computer Hardware Engineering. (KTH Royal Institute of Technology) | IS1200 | Course responsible and examiner |
| 2018 | Principles of Programming Languages. (KTH Royal Institute of Technology) | DD2481 | Teaching occasional lecture | |||
| Computer Organization and Components. (KTH Royal Institute of Technology) | IS1500 | Course responsible and examiner | ||||
| Computer Hardware Engineering. (KTH Royal Institute of Technology) | IS1200 | Course responsible and examiner | ||||
| Types, Semantics and Programming Languages. (Ph.D. level course) (KTH Royal Institute of Technology) | IK3620 | Course responsible and examiner |
| 2017 | Computer Organization and Components. (KTH Royal Institute of Technology) | IS1500 | Course responsible and examiner | |||
| Computer Hardware Engineering. (KTH Royal Institute of Technology) | IS1200 | Course responsible and examiner |
| 2016 | Types, Semantics and Programming Languages. (Ph.D. level course) (KTH Royal Institute of Technology) | IK3620 | Course responsible and examiner | |||
| Computer Organization and Components. (KTH Royal Institute of Technology) | IS1500 | Course responsible and examiner | ||||
| Computer Hardware Engineering. (KTH Royal Institute of Technology) | IS1200 | Course responsible and examiner |
| 2015 | Computer Organization and Components. (KTH Royal Institute of Technology) | IS1500 | Course responsible and examiner | |||
| Computer Hardware Engineering. (KTH Royal Institute of Technology) | IS1200 | Course responsible and examiner |
| 2014 | Computer Organization and Components. (KTH Royal Institute of Technology) | IS1500 | Course responsible and examiner | |||
| Concurrent Models of Computation. (UC Berkeley, Spring Edition) | EECS 219D | Guest lecturing about acausal modeling and DAEs |
| 2013 | Fundamental Algorithms for System Modeling, Analysis, and Optimization. (UC Berkeley, Spring Edition) | EECS 144/244 | Guest lecturing about acausal modeling and DAEs | |||
| Fundamental Algorithms for System Modeling, Analysis, and Optimization. (UC Berkeley, Fall Edition) | EECS 144/244 | Guest lecturing about acausal modeling and DAEs |
| 2011 | Software Engineering (Linköping University) | TDDC88 | Course responsible and examiner | |||
| Project: Secure Mobile Systems (Linköping University) | TDDD36 | Guest lecture about Scrum |
| 2010 | Functional and Logic Programming (PhD course) (Linköping University) | DF22100 | Course designer and teacher for the part about strict FP in OCaml. | |||
| Project: Secure Mobile Systems (Linköping University) | TDDD36 | Guest lecture about Scrum |
| 2009 | Software Engineering (Linköping University) | TDDC88 | Course responsible and examiner | |||
| Software Engineering Theory (Linköping University) | TDDC93 | Giving lectures | ||||
| Project: Secure Mobile Systems (Linköping University) | TDDD36 | Guest lecture about Scrum |
| 2007 | Software Engineering (Linköping University) | TDDC88 | Course responsible and examiner | |||
| Software Engineering Theory (Linköping University) | TDDC93 | Course responsible and examiner |
| 2006 | Software Engineering Theory (Linköping University) | TDDC01 | Exam assistant | |||
| Algorithms and Optimizations (Linköping University) | TDDB56 | Teaching assistant | ||||
| Software Engineering Project (Linköping University) | TDDC02 | Supervisor for one group of students |
| 2005 | Software Engineering Theory (Linköping University) | TDDC01 | Exam assistant | |||
| Algorithms and Optimizations (Linköping University) | TDDB56 | Teaching assistant | ||||
| Software Engineering Project (Linköping University) | TDDC02 | Supervisor for two groups of students |
This is a personal web page. More information.