En doktordisputats

IMG_5209

I dag var der doktorforsvar på Aalborg Universitet; det sker ikke så tit. Det var min kollega fra Institut for datalogi, Radu Mardare, der forsvarede sin doktorafhandling om logikker og metrikker for Markovkæder – et emne der befinder sig i krydsfeltet mellem teoretisk datalogi og det, man i matematisk logik kalder for modelteori.

De to eksterne opponenter var Ernst Doberkat  fra Dortmund og Gordon Plotkin fra Edinburgh. Flere spurgte mig om jeg kendte Gordon fra min egen tid i Edinburgh for længe siden, og ja det gjorde jeg. Han var faktisk med til mit midtvejsseminar, da jeg var PhD-studerende i Edinburgh i forrige århundrede, og senest skrev han en anbefaling af min bog om strukturel operationel semantik. Netop dét vigtige emne er det faktisk Gordon Plotkin, som er ophavsmand til.

Selve forsvaret startede med et overbliksforedrag, og bagefter var der spørgsmål fra de to opponenter. Det hele varede omkring tre timer. Bestod Radu så? Ja, det gjorde han da.  Tillykke herfra!

(Var det noget for mig at lave en doktorafhandling? Tjo. Jeg vil måske komme med en udtalelse i løbet af de kommende dage/uger/måneder/år. Der er også så meget andet, man skal nå.)

(Visited 260 times, 1 visits today)
Loading Facebook Comments ...

Skriv et svar