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 januari 2026, 13:00Slutar 21 januari 2026, 14:00

  • Plats:

    HC1

  • Språk:

    English
Magnus Myreen
  • Professor (N2), Computing Science, Data- och informationsteknik
Kontakt