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
21 Jan 2026, 13:0021 Jan 2026, 14:00
HC1
Language:English

Magnus Myreen

  • Full Professor, Computing Science, Computer Science and Engineering
To personal page