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
21 jan 2026, 13:0021 jan 2026, 14:00
HC1
Språk:English

Magnus Myreen

  • Professor (N2), Computing Science, Data- och infor­ma­tions­tek­nik
Gå till personsida