Bahareh afshari biography for kids

  • Anahita dargahi
  • Tarlan parvaneh
  • Bahareh kian afshar

    • •

    Cookie Consent

    Afshari’s work is theoretical and has no immediate applications. But her work could be used to analyse the underlying mathematical structures of reactive computer systems. Reactive computer systems are systems that engage with the environment and it is critical to ensure their correctness for safety reasons.

    Afshari: ‘Take for example the computer systems that are used for managing railways. Obviously there should be only one train on a track at a time. In this case logic expresses the safety and efficiency properties: is the system operating correctly? Are there any faults? With the help of logic one can ensure that no two trains are allowed on the same track at the same time and a train waiting at a signal will eventually be permitted to pass.’

    The pattern of mathematics

    The process of problem solving is what’s driving Afshari in her work. ‘I constantly think about my work. On the train, while cooking, walking or stroking my cat on the sofa. It is hard to put

    •

    Bahareh Afshari

    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 grupp 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 bygd 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), Universi

    •

    Bahareh Afshari new member of national committee for Logic

    ”I am very happy to be in a position to contribute to logic in Sweden as a whole. One of the committee's responsibilities is to strengthen the links between logic and society – ranging from high-school to industry – through organising annual workshops and outreach activities. This is one of the activities I am most looking forward to as it fryst vatten very different from my day to day research and teaching work", says Bahareh Afshari.

    This committee is one of 18 national committees established by The Royal Swedish Academy of Sciences’ (KVA). They are, among others, responsible for contacts with the scientific unions within the International Science Council.

    New project in Computational Logic

    Bahareh Afshari has recently been awarded a 4-year research grant from The Netherlands Research Council (NWO) for carrying out research in the area of Computational Logic. This work will be conducted at the Institute for Logic, Language and

  • bahareh afshari biography for kids