senior lecturer at Department of Information Technology, Division of Computing Science
I am a senior lecturer 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
Also available at
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.