(There is also an English version of this page.)
Jeg er lektor ved Institut for Datalogi ved Aalborg Universitet.
I forårssemesteret 2013 er jeg vejleder for to specialestuderende i datalogi og et bachelorprojekt i datalogi/matematik. 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
og ACM. Jeg er selvfølgelig
medlem af DM (Dansk Magisterforening).
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.
Man kan se en oversigt over mine publikationer på VBN.
Jeg er medlem af Akademisk Råd for Det ingeniør-, natur- og sundhedsvidenskabelige fakultet og af studienævnet for datalogi.