(Denne side findes også på dansk)
My colleagues and I receive surprisingly many requests for internships from Indian students. However, we do not have internships for students in our department. We have never had internships, and in all likelihood we never will. Please do not apply.
I am a Lecturer (Associate Professor) in the Department of Computer Science at Aalborg University.
This semester, I supervise two groups of first-year students in the degree programme in computer science and software and a group of 5th semester students in the computer science degree programme. Moreover, I am involved in the course Programming Paradigms.
My research area is that of structural operational semantics and behavioural types, the study of the expressiveness of process calculi and how ideas from programming language theory, process calculi, structural operational semantics and static program analysis can be used to reason about programs. Among my primary research interests are variants of the pi-calculus.
I am placed in the research unit for Database Systems, Programming Technology and Web Systems (DPW). I am also a member of the Danish Mathematics Society aka Dansk Matematisk Forening and of ACM.
My book Transitions and Trees - An Introduction To Structural Operational Semantics has now published. You can buy it directly from Cambridge University Press or - for instance - via Amazon.
I am a member of the Board of Studies in Computer Science and of the Departmental Committee for Cooperation, representing my union, Dansk Magisterforening.