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

Bahareh Afshari

Professor

Philosophy and Logic unit
Telephone
+46 31-786 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.

Research projects

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

Biography

I received my doctorate degree in mathematics from the University of Leeds, UK in 2009. Before joining Gothenburg University, I 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).

I joined the University of Gothenburg in 2017 with a VR Starting Grant; I was appointed Docent in 2019 and Senior Lecturer in 2022. As of fall 2024, I am Full Professor in Logic.

PhD students