• Skip to main navigation
  • Skip to search
  • Skip to main content
JKU & KUK Research Portal Home JKU & KUK Research Portal Logo
  • Help & FAQ
    • English
    • Deutsch
  • Home
  • Research units
  • Profiles
  • Research output
  • Projects
  • Activities
  • Datasets
  • Prizes
  • Press/Media
No photo of Clemens Hofstadler

View Scopus Profile

Clemens Hofstadler

DI Dr., BSc

  • Institute for Symbolic Artificial Intelligence
  • Emailclemens.hofstadlerjkuat
  • Overview
  • Network
  • Research output (21)
  • Activities (14)
  • Prizes (5)

Research output

  • 9 Preprint
  • 6 Conference proceedings
  • 5 Article
  • 1 Master's / Diploma thesis

Research output per year

Research output per year

  • f4ncgb: High Performance Gröbner Basis Computations in Free Algebras

    Heisinger, M. & Hofstadler, C., 2026, Computer Algebra in Scientific Computing: 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24–28, 2025, Proceedings. Boulier, F., Mou, C., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). p. 79-97 19 p. (Lecture Notes in Computer Science; vol. 16235 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

  • Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification

    Hofstadler, C. & Kaufmann, D., 08 Aug 2025, 31st International Conference on Principles and Practice of Constraint Programming (CP 2025). de la Banda, M. G. (ed.). 22 p. 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 340).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

    Open Access
  • Modular Algorithms For Computing Gröbner Bases in Free Algebras

    Hofstadler, C. & Levandovskyy, V., 17 Feb 2025, 27 p. (arXiv.org; no. 2502.11606).

    Research output: Working paper and reports › Preprint

    Open Access
  • Recycling Algebraic Proof Certificates

    Kaufmann, D. & Hofstadler, C., 27 Jul 2025, 6 p. (arXv.org; no. 2507.20267).

    Research output: Working paper and reports › Preprint

    Open Access
  • Recycling Algebraic Proof Certificates

    Kaufmann, D. & Hofstadler, C., 2025, (Accepted/In press) Proceedings of the 10th SC-Square Workshop.

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

View all 21 research outputs

Activities

  • 8 Invited talk
  • 4 Contributed talk
  • 1 Outgoing (legacy data)
  • 1 Visiting an external institution

Activities per year

  • f4ncgb: High Performance Gröbner Basis Computations in Free Algebras

    Hofstadler, C. (Speaker)

    27 Nov 2025

    Activity: Talk or presentation › Contributed talk › science-to-science

  • Algebraic Automated Theorem Proving

    Hofstadler, C. (Speaker)

    07 Nov 2025

    Activity: Talk or presentation › Invited talk › science-to-science

  • Algebraic First-Order Theorem Proving

    Hofstadler, C. (Speaker)

    17 Oct 2025

    Activity: Talk or presentation › Invited talk › science-to-science

  • Noncommutative Gröbner Bases

    Hofstadler, C. (Speaker)

    24 Sept 2025

    Activity: Talk or presentation › Invited talk › science-to-science

  • Technische Universität Berlin

    Hofstadler, C. (Visiting researcher)

    22 Sept 2025 → 26 Sept 2025

    Activity: Visiting an external institution

View all 14 activities

Prizes

  • Dissertationspreis 2024

    Hofstadler, C. (Recipient), 2024

    Prize: Prize, award or honor

  • JKU Young Researchers’ Award

    Hofstadler, C. (Recipient), 2024

    Prize: Prize, award or honor

  • Nachwuchspreis

    Hofstadler, C. (Recipient), 2023

    Prize: Prize, award or honor

  • Würdigungspreis

    Hofstadler, C. (Recipient), 2020

    Prize: Prize, award or honor

  • “Promotio sub auspiciis” distinction

    Hofstadler, C. (Recipient), 17 Mar 2025

    Prize: Prize, award or honor

JKU & KUK Research Portal Logo

Powered by Pure, Scopus & Elsevier Fingerprint Engine™

All content on this site: Copyright © 2026 JKU & KUK Research Portal, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

Log in to Pure

Impressum

About web accessibility

Report vulnerability

Contact us