I am involved in the design of ERODE [1] and CLUE [2], two software tools for the algorithmic simplification of mathematical models, with applications in systems biology, control engineering, data science and quantum computing.
[1] L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin. ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017
[2] L. Burgholzer, A. Jiménez-Pastor, K. G. Larsen, M. Tribastone, M. Tschaikowski, and R. Wille. Forward and backward constrained bisimulations for quantum circuits using decision diagrams. ACM Transactions on Quantum Computing, 1-21, 2025