senior lecturer at Department of Information Technology, Division of Computing Science
I am a senior lecturer in the concurrency group at the IT department. My research is in the fields of programming languages and process calculi. In particular, I am interested in novel language features and their semantics, with a view towards both applications and algebraic properties. I am currently working on probabilistic programming languages for Bayesian modelling and inference, and psi calculi: a machine-checked framework for defining modelling languages for communicating systems.
Also available at
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.