Modal my-kalkyl: En studie i deskriptiv komplexitet
Kort beskrivning
Syftet med det aktuella projektet är att fördjupa vår förståelse för den matematiska teori som ligger till grund för reaktiva datorsystem. Sådana system är designade för att upprätthålla en kontinuerlig interaktion med sin omgivning och är ofta, som i fallet med automatiska signalsystem för järnvägen, säkerhetskritiska. De viktigaste egenskaperna hos reaktiva system, såsom signalkorrekthet, kan enkelt specificeras och testas med hjälp av en abstrakt matematisk teori som kallas my-kalkyl.
Målet med projektet är att utveckla nya tekniker för att lösa några av de mest utmanande olösta problemen inom my-kalkyl. I synnerhet kommer jag att angripa frågor rörande uttryckskraft (vilka egenskaper kan uttryckas?), styrka (hur mycket rekursion krävs?), avgörbarhet (finns rimliga algoritmer?) och komplexitet (vilka resurser kräver beräkningen?).
