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.

Project Participation

  • LogicGuard: The Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security. Funded by the FFG BRIDGE program. 2012-2014.
  • SCIEnce: Symbolic Computation Infrastructure for Europe. Funded by the European Commission Sixth Framework Programme. 2006-2011.
  • Theorema. Funded by the FWF. 2001-2006.
  • MathSoft and ForMI projects at the SCCH. 2000-2001.
  • Proving and Solving over the Reals. Funded by the FWF. 1999.