Dr. Bahareh Afshari

• Since 2019
  MacGillavry Fellow, Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands
  
  

• Since 2019
  Associate Professor, Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
  
  

• 2017 – 2018
  Assistant Professor, Computer Science and Engineering Department, University of Gothenburg, Sweden
  
  

• 2014 – 2017
  Postdoc. Researcher, Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Austria
  
  

• 2013 – 2014
  Lecturer and Director of Studies for Computer Science, Keble College, Oxford, UK
  
  

• 2012 – 2013
  Postdoc. Researcher, Department of Computer Science, University of Oxford, UK
  
  

• 2009 – 2012
  Postdoc. Researcher, School of Informatics, University of Edinburgh, UK
  
  

• Project Grant: Cyclic Proofs for Modal and Higher-order Logic. Funded by the Dutch Research Council (NWO), 2021 – 2025

• VR Starting Grant: Modal mu-calculus: A study in descriptive complexity. Funded by the Swedish Research Council (VR), 2017 – 2021

• Swedish National Committee for Logic, Methodology and Philosophy, Royal Swedish Academy of Sciences (KVA), 2021 – 2023

• Member of Association for Symbolic Logic Committee on Logic in Europe, since 2020

• Member of The Proof Society Core Initiating Committee, 2018

• Publicity Chair and member of the Executive Board of Kurt Gödel Society, 2016

• Award Committee of the VCLA International Student Awards, 2014

You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here