Tudor Jebelean

Tudor Jebelean is a full professor at the Research Institute for Symbolic Computation (RISC) within Johannes Kepler University (JKU), located in Linz, Austria. His primary affiliation is with RISC, where he leads research in automated reasoning, symbolic computation, and algorithm design.

• Roles: A.Univ.-Prof. (Universitätsprofessor) at RISC, JKU
• Research Focus: Automated reasoning, systolic computations, multiprecision arithmetic, and formal methods.

Jebelean's work centers on advancing theorem proving systems like Theorema, which integrates computation and deduction for natural-style mathematics. He develops algorithms for sorting, data structure manipulation, and formal verification, often using combinatorial and logic-based techniques. His contributions include the design of systolic architectures for arithmetic operations and the synthesis of algorithms through mechanical proving.

Publications highlight his research on automated prover systems, certification of sorting algorithms, and symbolic computation tools. He collaborates extensively with researchers like Isabela Dramnesc and Sorin Stratulat on algorithm synthesis and formal verification. His research bridges theoretical foundations with practical applications in computer science and mathematics education.