Magnus Myreen

Magnus.Myreen (@cl.cam.ac.uk)

Royal Society University Research Fellow, CL, Cambridge
but nowadays at Chalmers

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.