senior lecturer at Department of Information Technology, Division of Computing Science
- +4618-471 3165
- Visiting address:
ITC 1140 ITC, Lägerhyddsv. 2, hus 1
- Postal address:
- Box 337
751 05 UPPSALA
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.