91̽»¨

University 91̽»¨
  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 91̽»¨, Computability Theory, Proof Theory, Fixed Point and Modal Logics, Automata Theory and Games.

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 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 91̽»¨ 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 91̽»¨ 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

  • (University of Amsterdam, defended January 2024)
  • (co-supervisor, University of Amsterdam, defended January 2024)
  • Giacomo Barlucchi
  • Dominik Wehr (co-supervisor)
  • (co-supervisor, University of Amsterdam)
  • (University of Amsterdam)
  • (co-supervisor, University of Amsterdam)