BCTCS 2021

Speaker

Andrei-Cristian Diaconu

I am a Master’s student at the University of Oxford, where I have also completed my undergraduate degree (and where I have also applied for a DPhil program). My general interests are in the theory of programming languages, specifically semantics and implementation. Currently my research is focused on computational effects, especially the dichotomy between algebraic ones and control-related ones. Most of the ideas in the talk are taken from my thesis, which is concerned with implementing CSP-like concurrent functional languages.

 Overview