Bahareh Afshari
Docent in Logic

Computer Science and Engineering Department
University of Gothenburg

Email: bahareh.afshari AT

Phone: +46 31 772 6153
Office: Room 3106, 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. 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
Bahareh Afshari, Gerhard Jäger and Graham E. Leigh
In: Proceeding of WoLLIC'19. Pages 17-34. 2019.
BibTeX | Download (pdf) | DOI (10.1007/978-3-662-59533-6)

Cut-free completeness for modal mu-calculus
Bahareh Afshari and Graham E. Leigh
In: Proceeding of LICS'17. Pages 1-12. 2017.
BibTeX | Download (pdf) | DOI (10.1109/LICS.2017.8005088)

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: 2020-01