Project Leader
- SQUEE: Symbolic Techniques for Quantitative Extensions of Equality. Funded by the FWF. 2022-2026.
- GALA: Generalization ALgorithms and Applications. Funded by the FWF. 2016-2021.
- SToUT: Symbolic Computation Techniques for Unranked Terms. Funded by the FWF. 2012-2016.
- Constraint Logic Programming over Unranked Terms and Hedges with Description Operators. Funded by the Rustaveli NSF. 2012-2015.