Franz Winkler

Franz Winkler is a full Professor at the Research Institute for Symbolic Computation (RISC) within the Johannes Kepler University in Linz, Austria. His primary roles include leading research in computer algebra and constructive algebraic geometry. He is affiliated with the RISC Faculty and holds the title of Univ.-Prof. DI.Dr., indicating his academic leadership and doctoral qualifications. His work focuses on algebraic differential equations, symbolic computation, and geometric algorithms.

Research Interests: Winkler's expertise spans computer algebra systems, algebraic geometry applied to differential equations, and algorithm development for solving algebraic problems. His contributions include foundational work on Gröbner bases, parametrization of algebraic curves, and symbolic methods for ODEs/PDEs. He has developed the CASA system for computational algebraic geometry, emphasizing practical applications in geometric modeling and automated theorem proving.

Publications: His recent work includes advancements in the algebro-geometric method for solving differential equations, general solutions of algebraic ODEs, and rational solutions of partial differential equations. His research often bridges theoretical computer science and pure mathematics, with applications in cryptography and geometric modeling.

Labs/Teams: As part of RISC, he contributes to projects involving symbolic computation and algebraic software development. His team collaborates internationally on topics like automated deduction in geometry and computational algebraic methods applied to real-world problems.