Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
EN

mw. dr. B. (Bahareh) Afshari

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Fotograaf: Monica Havström

Bezoekadres
  • Science Park 105
  • Kamernummer: F1.09
Postadres
  • Postbus 94242
    1090 GE Amsterdam
Contactgegevens
  • About me

    I obtained a PhD in Mathematics from the University of Leeds. Since then I have held research and teaching positions at the University of Edinburgh (Laboratory for Foundations of Computer Science), University of Oxford (Department of Computer Science and Keble College), Vienna University of Technology (Institute of Discrete Mathematics and Geometry), and University of Gothenburg (Department of Computer Science and Engineering and Faculty of Philosophy, Linguistics and Theory of Science).

    Currently I am Assistant Professor (Universitair Docent) and MacGillavry Fellow at UvA, as well as Assistant Professor (Forskarassistent) at GU.

    You can read more about the research groups I am affiliated to in the following links.

     

  • Research

    My research explores the interface of mathematics and computer science by uncovering the subtle interactions between expressibility, complexity, and deductive strength in fixpoint logics. I employ techniques from proof theory, notably proof transformations, cut-elimination and tableaux, to gain insight into the behaviour of fixpoint constructions.

    Other topics that I have worked on previously and/or are currently pursuing include relative computability, reverse mathematics, ordinal analysis, computational content of proofs, deep learning, logic of neural networks, automata theory and games.

    Current research projects

    1. Proof theory of fixed point modal logic (2019–2023). Funded by the Faculty of Science of the University of Amsterdam.
    2. Modal mu-calculus: A study in descriptive complexity (2017–2021). Funded by a Starting Grant from the Swedish Research Council.

    Research team

    Together with Yde Venema we have a research team working on Proof Systems for Modal Fixpoint Logics. The project which consists of 1 Postdoc and 3 PhD students commences in September 2019.

    Research seminars

    Algebra|Coalgebra Seminar

  • Teaching

    I teach the following courses. If you have any enquiries you are welcome to contact me directly.

  • Publications

    For an up to date list of my publications see here.

  • Nevenwerkzaamheden
    Geen nevenwerkzaamheden bekend