Senior Lecturer/Associate Professor at Department of Information Technology, Division of Computing Science
- +4618-471 3165
- Visiting address:
POL 105156 hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
I am an associate professor in computing science at the IT department, and responsible for the undergraduate programme in computer science. My research is in the fields of programming languages and process calculi. I am currently working on probabilistic programming languages for Bayesian modelling and inference, and nominal process calculi, in particular the psi-calculus framework.
Keywords: programming languages semantics probabilistic programming concurrency theory process calculi program equivalences operational semantics
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.