Magnus Myreen

Teaching

Lectures

Classes and supervisions

  • 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.