• SToUT: Symbolic Computation Techniques for Unranked Terms. Funded by the FWF. 2012-2015.
  • Constraint Logic Programming over Unranked Terms and Hedges with Description Operators. Funded by the Rustaveli NSF. 2012-2015.


  • 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.