Promotion lecture
The event has passed

Promotion lecture for full professor Magnus Myreen

Magnus Myreen will talk about the CakeML project, which is known for its verified compiler(s).

Add to OutlookAdd to Google Calendar

Overview

The event has passed
  • Date:Starts 21 January 2026, 13:00Ends 21 January 2026, 14:00
  • Location:
    HC1
  • Language:English
Magnus Myreen
  • Full Professor, Computing Science, Computer Science and Engineering
Contact