senior lecturer at Department of Information Technology, Division of Computing Science
I am a research fellow in the mobility 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.