Wolfgang Windsteiger

Wolfgang Windsteiger is an Associate Professor at the Research Institute for Symbolic Computation (RISC) of Johannes Kepler University (JKU), Linz, Austria. His primary research focuses on automated theorem proving, computer algebra systems, and symbolic computation, particularly within the Theorema project. He leads the redesign and implementation of Theorema 2.0, an open-source system for mathematical theory exploration. Windsteiger is also active in integrating computational tools into mathematics education, co-authoring textbooks on algorithmic methods for university students. His work spans formal methods, mathematical software development, and educational technology.

• Positions: Associate Professor at RISC/JKU, Trustee of Calculemus, Conference Chair of multiple events including Calculemus'2007 and MKM'2007.
• Contributions: Developer of Theorema 2.0, co-author of Springer's 'Algorithmische Methoden' series, and creator of educational software tools for mathematics.

Research Interests: Theorema system development, automated reasoning, formal methods in economics, and computational pedagogy. He actively promotes the use of theorem provers in university and school-level mathematics education.