Johannes Borgström
senior lecturer at Department of Information Technology, Division of Computing Science
- Email:
- johannes.borgstrom[AT-sign]it.uu.se
- Telephone:
-
+4618-471 3165
- Visiting address:
- Room
ITC 1140 ITC, Lägerhyddsv. 2, hus 1
- Postal address:
- Box 337
751 05 UPPSALA
Short presentation
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
Biography
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.