Faglige nøgleord: Programmering, programmeringssprog, safety-critical systems, programverifikation, computernetværk, digital kommunikation
Oplæg tilgængeligt på: Dansk og engelsk
Præsentationen omhandler, i grove træk, hvordan man sikrer, at programmer virker, som de skal – inden at man kører dem. Der er flere motiverende eksempler: flycomputere, atomreaktorer, og andre såkaldte "safety-critical systems", der skal virke korrekt i første omgang.
Men hvordan sikrer man det? Der findes forskellige metoder: uddybende tests, nøjsom gennemlæsning af programmet, osv. I denne præsentation vil jeg beskæftige mig med en anden tilgang, nemlig hvordan man kan bevise (altså i en matematisk forstand), at et program virker. Min forskning omhandler mere specifikt, hvordan man kan designe et programmeringssprog således, at et program kodet i det altid vil opføre sig på en bestemt måde.
Præsentationen kommer til at have en overvejende matematisk vinkel fremfor en mere ingeniør/teknisk vinkel, men hvor det stadig holder sig på gymnasieniveau. Derudover kommer jeg også til at supplere med praktiske eksempler, øvelser, og min egen fortælling om, hvordan jeg gik fra gymnasiet til en Ph.D.