Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Bahareh Afshari

Researcher

Bahareh Afshari
Researcher
bahareh.afshari@gu.se
+46 31 786 4965

Room number: J532
Postal Address: Box 200, 40530 Göteborg
Visiting Address: Renströmsgatan 6 , 41255 Göteborg


Linguistics, Logic and Theory of Science unit at Department of Philosophy, Linguistics, Theory of Science (More Information)
Box 200
405 30 Göteborg
www.flov.gu.se
flov@flov.gu.se
Visiting Address: Renströmsgatan 6 , 412 55 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.

Biography

I obtained my PhD in Mathematics from the University of Leeds, UK. Before joining Gothenburg University I have held research and teaching positions at the University of Edinburgh (School of Informatics), University of Oxford (Department of Computer Science and Keble College) and Vienna University of Technology (Institute of Discrete Mathematics and Geometry).

I am Docent in Logic and hold a Starting Grant from the Swedish Research Council. Since January 2019, I am a MacGillavry Fellow at the University of Amsterdam. See also my UvA homepage.

Latest publications

Herbrand's theorem as higher order recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Annals of Pure and Applied Logic, Journal article 2020
Journal article

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy , Berlin, Heidelberg, Springer, Conference paper 2019
Conference paper

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2018
Report

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland, Association for Computing Machinery (ACM), Conference paper 2017
Conference paper

Herbrand confluence for first-order proofs with Π2-cuts
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Concepts of Proof in Mathematics, Philosophy, and Computer Science / Dieter Probst, Peter Schuster (eds.), Boston, De Gruyter, Chapter in book 2016
Chapter in book

Herbrand's theorem revisited
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016; Editors: V. Bach and H. Fassbender, Conference paper 2016
Conference paper

On the Herbrand content of LK
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings Sixth International Workshop on Classical Logic and Computation (CL&C16). Porto, Portugal , 23th June 2016, Conference paper 2016
Conference paper

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2016
Report

Circular proofs for the modal mu-calculus
Bahareh Afshari, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the Gesellschaft für Angewandte Mathematik und Mechanik, held 7 – 11 March 2016 at TU Braunschweig, Germany., Conference paper 2016
Conference paper

Herbrand disjunctions, cut elimination and context-free tree grammars
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2015
Conference paper

Showing 1 - 10 of 17

2020

Herbrand's theorem as higher order recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Annals of Pure and Applied Logic, Journal article 2020
Journal article

2019

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy , Berlin, Heidelberg, Springer, Conference paper 2019
Conference paper

2018

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2018
Report

2017

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland, Association for Computing Machinery (ACM), Conference paper 2017
Conference paper

2016

Herbrand confluence for first-order proofs with Π2-cuts
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Concepts of Proof in Mathematics, Philosophy, and Computer Science / Dieter Probst, Peter Schuster (eds.), Boston, De Gruyter, Chapter in book 2016
Chapter in book

Herbrand's theorem revisited
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016; Editors: V. Bach and H. Fassbender, Conference paper 2016
Conference paper

On the Herbrand content of LK
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings Sixth International Workshop on Classical Logic and Computation (CL&C16). Porto, Portugal , 23th June 2016, Conference paper 2016
Conference paper

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2016
Report

Circular proofs for the modal mu-calculus
Bahareh Afshari, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the Gesellschaft für Angewandte Mathematik und Mechanik, held 7 – 11 March 2016 at TU Braunschweig, Germany., Conference paper 2016
Conference paper

2015

Herbrand disjunctions, cut elimination and context-free tree grammars
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2015
Conference paper

Showing 1 - 10 of 17

Page Manager: Monica Havström|Last update: 1/25/2018
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?