Fill out one or more of the fields.
Enter a name or part of a name.
- research fellow at Department of Information Technology, Division of Computing Science
Department of Information Technology, Division of Computing Science
- 018-471 3165
- Visiting address:
ITC 1140ITC, 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 models, and psi calculi, a framework for defining modelling languages for communicating systems.
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.