Bahareh Afshari
Assistant Professor

Computer Science and Engineering Department
University of Gothenburg

Email: bahareh.afshari AT

Phone: +46 31 772 6153
Office: Room 6455, EDIT building
Visiting address: Rännvägen 6, 412 96 Göteborg, Sweden


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.

Selected publications View all

Cut-free completeness for modal mu-calculus
Bahareh Afshari and Graham E. Leigh
To appear in: Proceeding of LICS'17.
BibTeX | Download (pdf)

Herbrand disjunctions, cut elimination and context-free tree grammars
Bahareh Afshari, Stefan Hetzl and Graham E. Leigh
In: T. Altenkirch, editor,  TLCA'15. Vol. 38 of LIPIcs. Pages 1-16. 2015.
BibTeX | Download (pdf) | DOI (10.4230/LIPIcs.TLCA.2015.1)

On closure ordinals for the modal mu−calculus
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
Bahareh Afshari and Michael Rathjen
Archive for Mathematical Logic. Vol. 49. No. 2. Pages 275–281. 2010.
BibTeX | Download  (pdf) | DOI (10.1007/s00153-009-0168-9)

Last updated: 2017-05