Befordransföreläsning
Evenemanget har passerat

Befordransföreläsning till professor för Magnus Myreen

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

 

Lägg till i OutlookLägg till i Google kalender

Översikt

Evenemanget har passerat
  • Datum:Startar 21 January 2026, 13:00Slutar 21 January 2026, 14:00
  • Plats:
    HC1
  • Språk:English
Magnus Myreen
  • Professor (N2), Computing Science, Data- och informationsteknik
Kontakt