Magnus Myreen

Teaching

Lectures

Supervision of Bachelors and Masters projects

I have supervised several student projects for topics such as compiler optimisations, verification of compiler optimisations (e.g. register allocation, function-call optimisation), semantics of programming languages (lazy vs strict), and proof automation (for code generation).

Classes and supervisions of small groups

  • Specification and Verification I. I've given two-hour classes for final-year undergraduates in this verification course.
  • Optimising Compilers, Temporal Logic, Discrete Maths and Hoare Logic. I've supervised, in small groups, undergraduates for these courses.