(There is also an English version of this page.)
Jeg er lektor ved Institut for Datalogi ved Aalborg Universitet.
I forårssemesteret 2011 er jeg vejleder for to grupper ved 1. studieåret (2. semester) for datalogi og software. Derudover holder jeg kurset Syntaks og semantik for datalogi- og softwarestuderende.
Jeg interesserer mig for proceskalkyler og operationel semantik, for proceskalkylers udtrykskraft og for hvordan proceskalkyler, operationel semantik og metoder fra statisk programanalyser kan anvendes til undersøgelse af f.eks. kryptografiske protokoller. Især interesserer jeg mig for varianter af pi-kalkylen.
Jeg er havnet i Enheden for distribuerede og indlejrede systemer. Jeg er medlem af Dansk Matematisk Forening.
I maj 2010 udkom min bog Transitions and Trees - An Introduction To Structural Operational Semantics på Cambridge University Press. Den kan købes f.eks. direkte fra forlaget eller via Amazon.
Her er alle mine publikationer i PostScript/PDF-format.
Jeg er medlem af Akademisk Råd for Det ingeniør-, natur- og sundhedsvidenskabelige fakultet og af studienævnet for datalogi.