Hvad gør du, hvis du skal være sikker på, at din kode virker?
Vores konsulent Magnus Baunsgaard Kristensen har sammen med to medforfattere, Rasmus Møgelberg og Andrea Vezzosi, skrevet en artikel om afhængig typeteori i forbindelse med hans ph.d. i datalogi fra ITU. Artiklen er blevet publiceret som en del af proceedings fra Logic in Computer Science (LICS) 2022, som er flagskibskonferencen indenfor typeteori og generel anvendelse af matematisk logik til at beskrive programmeringssprog.