Project Leader

  1. CoGA: Combining Generalization Algorithms. Scientific & Technological Cooperation program between Austria and France. Partner organizations: RISC, Johannes Kepler University Linz, Austria, and Inria Centre at Université de Lorraine, Nancy, France. Funded by the OeAD. 2026-2027.
  2. SQUEE: Symbolic Techniques for Quantitative Extensions of Equality. Funded by the FWF. 2022-2026.
  3. GALA: Generalization ALgorithms and Applications. Funded by the FWF. 2016-2021.
  4. SToUT: Symbolic Computation Techniques for Unranked Terms. Funded by the FWF. 2012-2016.
  5. Tolerance-based Techniques for Approximate Reasoning. Funded by the Rustaveli NSF. 2022-2025.
  6. Rewriting-based usage control. Funded by the Rustaveli NSF. 2015-2018.
  7. Constraint Logic Programming over Unranked Terms and Hedges with Description Operators. Funded by the Rustaveli NSF. 2012-2015.

Project Participation

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