University of Gothenburg
  2. About
  3. Find staff
  4. Bahareh Afshari

Bahareh Afshari

Senior Lecturer

Philosophy and Logic unit
Telephone
+46 31-786 49 65
+46 729-74 49 65
Mail
bahareh.afshari@gu.se
Visiting address
Renströmsgatan 6
41255 Göteborg
Room number
J572
Postal address
Box 200
40530 Göteborg

About Bahareh Afshari

Research interests

Mathematical Logic, Theoretical Computer Science, Computability Theory, Proof Theory, Fixed Point and Modal Logics, Automata Theory and Games.

GU Logic Group main page

Research projects

  1. Foundations for team semantics: Meaning in an enriched framework (2023-2026). Funded by the Swedish Research Council (VR).
  2. Cyclic Proofs for Modal and Higher-order Logic (2021-2025). Funded by the Dutch Research Council (NWO).
  3. Proof Theory of Fixed Point Modal Logic (2019–2023). Project associated to the MacGillavry Fellowship at the University of Amsterdam.
  4. Modal mu-calculus: A study in descriptive complexity (2017–2021). Funded by a Starting Grant from the Swedish Research Council (VR).

Biography

I am Associate Professor in Logic at the University of Gothenburg, Sweden. My doctorate degree is in Mathematics and was awarded to me in 2009 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), Vienna University of Technology (Institute of Discrete Mathematics and Geometry) and University of Amsterdam (Institute for Logic, Language and Computation).

PhD students