Mathematical Logic, Theoretical
Computer Science, Computability Theory,
Proof Theory, Fixed Point and Modal Logics,
Automata Theory and Games.
I obtained my PhD in Mathematics from the University of Leeds, UK. Before joining Gothenburg University I have held research and teaching positions at the University of Edinburgh (School of Informatics), University of Oxford (Department of Computer Science and Keble College) and Vienna University of Technology (Institute of Discrete Mathematics and Geometry).
I hold a Starting Grant from the Swedish Research Council. Since January 2019, I am a MacGillavry Fellow at the University of Amsterdam. See also my UvA homepage.
Selected publications View all
An infinitary treatment of full mu-calculus
Herbrand disjunctions, cut elimination and
context-free tree grammars
Bahareh Afshari and Graham E. Leigh
In: S.R. Della Rocca, editor, CSL '13. Vol. 23 of LIPIcs. Pages 30–44. 2013.
BibTeX | Download (pdf) | DOI (10.4230/LIPIcs.CSL.2013.30)
A note on the theory of positive induction‚ ID*1