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 Simona Ronchi 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*

In *Archive for Mathematical Logic*. Vol. 49.
No. 2. Pages 275–281. 2010.

BibTeX | Download
(pdf) | DOI
(10.1007/s00153-009-0168-9)

### Teaching

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.