
Talks
Conferences & Workshops
- f4ncgb: High Performance Gröbner Basis Computations in Free Algebras, CASC 2025, Dubai, November 2025.
- Algebraic Automated Theorem Proving, Effective Algebra Days, Limoges, November 2025.
- Algebraic First-Order Theorem Proving, Dynaverse Workshop on Algebraic Methods in Dynamics and Particle Physics, Saarbrücken, October 2025.
- Algebraic Circuit Verification via Local Linearization, Annual ÖMG-DMV Meeting, Linz, September 2025.
- Recent Advancements in Noncommutative Gröbner Basis Software, AADIOS @ ACA 2025, Heraklion, July 2025.
- Algebraic First-Order Theorem Proving, Conference Fachgruppe Computeralgebra, Leipzig, June 2025.
- First-order theorem proving for operator statements, Dagstuhl Seminar 24421: SAT and Interactions, Dagstuhl, October 2024.
- Short proofs of ideal membership, CASC 2024, Rennes, September 2024.
- How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse – a Case Study, CASC 2023, Havana, August 2023.
- Signature Gröbner bases in free algebras over rings, ISSAC 2023, Tromsø, July 2023.
- A semi-decision procedure for proving operator statements, AADIOS @ ACA 2023, Warsaw, July 2023.
- Automated proofs of operator statements, ILAS 2023, Madrid, June 2023
- Automated proofs of operator statements, Conference Fachgruppe Computeralgebra, Hannover, June 2023.
- Computing elements of certain form in ideals to prove properties of operators, CASC 2021, Sochi/online, September 2021.
- Automatizing proofs of properties of operators, AADIOS @ ACA 2021, online, July 2021. (Mathematica demo)
Seminars
- Noncommutative Gröbner Bases, Seminar Discrete Mathematics & Geometry, TU Berlin, September 2025.
- First-order theorem proving for operator statements, Forsyte seminar, TU Vienna, November 2024.
- Noncommutative Gröbner bases and automated proofs of operator statements, PhD defense, JKU Linz, October 2023. (open with Adobe Acrobat Reader to see the animation)
- Gröbner bases in the free algebra: Introduction & advanced topics, Séminaire Calcul Formel, Limoges, January 2023.
- Universal truth of operator statements via ideal membership, Seminar Algebra and Discrete Mathematics, JKU Linz, December 2022.
- Signature Gröbner bases, Seminar Algebra and Discrete Mathematics, JKU Linz, October 2021.
- Solving QBFs with AlphaZero, Seminar Algebra and Discrete Mathematics, online, June 2021.
- Computing noncommutative Gröbner bases and certifying operator identities, Algebraic rewriting seminar, online, April 2021.