I'm looking for doctoral students to start in 2020. Feel free to get in touch if you would like to embark on research in any of the areas mentioned below. The closing date for applications is January 10, 2020 (midday, UK time).
My research concerns the semantics of programing languages and its applications in software verification. I am interested in a broad spectrum of programming paradigms. Most recent examples include higher-order recursion, first- and higher-order state, concurrency, exceptions and objects.
Much of my work is based on game semantics, a modelling theory that uses games to model computation (a brief introduction to the area can be found here).
I like to blend research in semantics with automata theory. The latest examples are collapsible pushdown automata, automata over infinite alphabets and tree-stack automata. I am also interested in probabilistic systems in the context of differential privacy and machine learning. For more details, please see my publications page.
Recent events: GaLoP 2020 (pc), LSCSB (talk), FoSSaCS 2020 (pc), POPL 2020 (pc), ATVA 2019 (paper), Highlights 2019 (talk), FoPPS 2019 (course), CONCUR 2019 (paper), MFCS 2019 (paper, pc), ESSLLI 2019 (course), PERR 2019 (pc), POPL 2018 (paper), ATVA 2018 (paper), MFCS 2018 (paper), Dagstuhl 18151 (oc), FoSSaCS 2018 (pc), FLoC 2018 (oc), CONCUR 2017 (paper), ESOP 2017 (paper), FOSSACS 2017 (co-chair), POPL 2017 (erc), ···.