TU Wien
Dr Bahareh Afshari
Postdoctoral Researcher
Computational Logic Research Group
Institut für Diskrete Mathematik und Geometrie
TU Wien

bahareh DOT afshari AT tuwien DOT ac DOT at
+43 1 58801 104 281
Room DA05 A05 (green area, fifth floor)
Wiedner Hauptstraße 8–10, 1040 Wien


Mathematical Logic, Computability Theory, Proof Theory, Fixed Point and Modal Logics, Automata Theory and Games.


I obtained my PhD in Mathematics in 2009 from the University of Leeds. Before joining TU Wien I have held research and teaching positions at the University of Edinburgh (School of Informatics) and University of Oxford (Department of Computer Science and Keble College).

Selected publications  View all

Herbrand disjunctions, cut elimination and context-free tree grammars
Bahareh Afshari, Stefan Hetzl and Graham E. Leigh
In: T. Altenkirch, editor,  TLCA'15. Vol. 38 of LIPIcs. Pages 1-16. 2015.
BibTeX | Download (pdf) | DOI (10.4230/LIPIcs.TLCA.2015.1)

On closure ordinals for the modal mu−calculus
Bahareh Afshari and Graham E. Leigh
In: S.R. Della Rocca, editor, CSL '13. Vol. 23 of LIPIcs. Pages 30–44. 2013.
BibTeX | Download  (pdf) | DOI (10.4230/LIPIcs.CSL.2013.30)

A note on the theory of positive induction‚ ID*1
Bahareh Afshari and Michael Rathjen
Archive for Mathematical Logic. Vol. 49. No. 2. Pages 275–281. 2010.
BibTeX | Download  (pdf) | DOI (10.1007/s00153-009-0168-9)


At TU Wien I am primarily concerned with research. In the past I have taught numerous tutorials, classes and lectures in computer science and mathematics.  These include: Functional Programming (Haskell); Imperative Programming (Scala); Logic & Proof; Models of Computation; Set Theory; Lambda-Calculus and Types; Reasoning About Information Update; Automata, Logic & Games; Calculus; Continuous Mathematics; Discrete Mathematics; Linear Algebra; Analysis, and Mathematics for Engineers.

Last updated: December 2016