| Name |
Position |
Phone |
Office |
Working area |
| Ablinger Jakob, DI | Ph.D.-Student | +43 732 2468 9969 | 0.5-4 | |
| Aistleitner Christian, DI | Ph.D.-Student | | none | differential characteristic sets |
| Baltat Adrian | Guest | +43 732 2468 9945 | 0.2-2 | |
| Bana Peter Gabor | Visitor | | none | |
| Bosa Karoly, DI. Dr. | Faculty | +43 732 2468 9967 | 0.7-6 | Parallel and Distributed Computing, Grid Computing, Generic Programming |
| Buchberger Bruno, Univ.-Prof. Dr.phil.DDr.h.c. | Faculty | +43 732 2468 9941 | 2.4-1 | Symbolic Computation |
| Curtis Betina (on leave) | Administration | | none | |
| Danielczyk-Landerl Werner, DI | Administration | +43 732 2468 9965 | 0.7-2 | |
| Doench Christian, Dipl.-Math. oec. Univ. | Ph.D.-Student | +43 732 2468 9964 | 2.10-2 | Computer Algebra |
| Dramnesc Isabela | Ph.D.-Student | +43 732 2468 9926 | 1.7-6 | Automated Reasoning, Computer Supported Mathematical Theory Exploration, Algorithm Synthesis |
| Dundua Besik, DI | Ph.D.-Student | | none | Computational logic |
| Duscher Andreas | Ph.D.-Student | | none | |
| Erascu Madalina, M.Sc. | Ph.D.-Student | +43 732 2468 9939 | 1.7-4 | |
| Erdei Károly , DI | Faculty | +43 732 2468 9925 | 1.6-1 | Management of the SAG |
| Erocal Burcin, M.Sc. | Ph.D.-Student | +43 732 2468 9928 | 2.2-2 | Computer Algebra, Cryptography |
| Guta Gabor, M.Sc. | Ph.D.-Student | +43 732 2468 9927 | 1.7-1 | |
| Gutenbrunner Tanja | Administration | +43 732 2468 9921 | 1.1-3 | |
| Hangler Andreas, DI | Ph.D.-Student | +43 732 2468 9969 | 0.5-1 | mathematical theory exploration |
| Hemmecke Ralf, Dr. | Faculty | +43 732 2468 9961 | 2.7-1 | Computer Algebra |
| Hodorog Madalina, M.Sc. | Ph.D.-Student | +43 732 2468 5231 | RIC-2.4 | Algebraic Topology (Knot theory), Computational Geometry |
| Huang Yanli | Visitor | +43 732 2468 9932 | 1.9-3 | Rational curves and surfaces |
| Jebelean Tudor, A.Univ.-Prof. Dr. | Faculty | +43 732 2468 9946 | 2.8-1 | Automated Reasoning, Systolic Computations, Multiprecision Arithmetic |
| Kalinowka Magdalena | Administration | | none | |
| Kartaschova Elena, Priv.-Doz. Dr. Prof. h.c. | Faculty | +43 732 2468 9929 | 1.9-4 | linear PDOs, nonlinear PDEs, resonances |
| Kauers Manuel, Priv.-Doz. Dr. | Faculty | +43 732 2468 9958 | 1.7-7 | Algorithmic Combinatorics, Computer Algebra |
| Khan Muhammad Taimoor, M.Sc. | Ph.D.-Student | +43 732 2468 9927 | 1.7-1 | Formal Methods, Computer Algebra Software |
| Korbelar Miroslav, Mgr. | Ph.D.-Student | | none | commutative algebra |
| Korporal Anja, Dipl.-Math. | Ph.D.-Student | | none | Symbolic Integral Operators and Boundary Problems |
| Koutschan Christoph, Dr. (on leave) | PostDoc | | none | Algorithmic Combinatorics, Symbolic Summation and Integration of Holonomic Functions |
| Kutsia Teimuraz, Dr. | Faculty | +43 732 2468 9982 | 0.7-4 | Unification, automated reasoning, rule-based programming |
| Landsmann Guenter, Dr. | Faculty | +43 732 2468 9968 | 0.3-2 | Algebraic Geometry |
| Lichtenberger Franz, DI Dr. | Faculty | +43 732 2468 9948 | 2.9-1 | Formal Methods, Mathematics Education |
| Lubbes Niels, M.Sc. | Ph.D.-Student | +43 732 2468 5231 | RIC-2.4 | |
| Mayrhofer Angelika | Administration | +43 732 2468 9920 | 1.1-1 | |
| Middeke Johannes, Dipl.-Math. | Ph.D.-Student | +43 732 2468 9950 | 2.10-4 | Differential algebra |
| Ngo L.X.Chau, M.Sc | Ph.D.-Student | +43 732 2468 9945 | 0.2-1 | Rational Algebraic Curves |
| Paule Peter, Univ.-Prof. Dr. | Chairman | +43 732 2468 9940 | 2.3-1 | Symbolic Computation in Combinatorics and Special Functions |
| Petcu Dana, Prof. Dr. | Visitor | | none | Parallel and Distributed Computing |
| Pillwein Veronika, Dr. | Faculty | +43 732 2468 9958 | 1.7-8 | Special Functions, High order finite elements |
| Piroi Florina Mihaela, DI. Dr. | PostDoc | | none | Theorem Proving, Symbolic Computation |
| Poechinger Ramona | Administration | +43 732 2468 9910 | 1.1-4 | |
| Popov Nikolaj, Dr. | Faculty | +43 732 2468 9926 | 1.7-5 | Program Verification |
| Raab Clemens Gunter, DI | Ph.D.-Student | +43 732 2468 9983 | 0.2-4 | |
| Radu Silviu, M.Sc | Ph.D.-Student | +43 732 2468 9981 | 0.2-5 | Computer mathematics |
| Rahkooy Hamid | Ph.D.-Student | +43 732 2468 9959 | 0.5-3 | |
| Rolletschek Heinrich, A.Univ.-Prof. Dr. | Faculty | +43 732 2468 9947 | 2.11-1 | Algorithm Theory |
| Rosenkranz Camelia, Dr. (on leave) | PostDoc | | none | MKM, Theorem Proving, Symbolic Computation |
| Rosenkranz Markus, Dr. | PostDoc | +43 732 2468 5230 | RIC-3.4 | |
| Schicho Josef, A.Univ.-Prof. Dr. (on leave) | Faculty | +43 732 2468 5231 | RIC-2.1 | |
| Schneider Carsten, Priv.-Doz. Dipl.-Inf. Dr. | Faculty | +43 732 2468 9966 | 2.6-1 | Computer Algebra, Combinatorics, Special Functions, Perturbative Quantum Field Theory |
| Schreiner Wolfgang, A.Univ.-Prof. DI Dr. | Faculty | +43 732 2468 9963 | 1.3-1 | Formal Methods, Parallel and Distributed Computing |
| Shemyakova Ekaterina, Dr., Dipl.-Math. | PostDoc | +43 732 2468 9950 | 2.10-3 | Computer algebra, Symbolic methods for Linear Partial Differential Operators (factorization, integration of PDEs, invariant finding), moving frames |
| Sinka Zsuzsanna, M.Sc. | Ph.D.-Student | +43 732 2468 9984 | 0.7-1 | |
| Stan Flavia, M.Sc. | Ph.D.-Student | +43 732 2468 9966 | 2.6-2 | Algorithmic Combinatorics, Special Functions |
| Tec Loredana, M.Sc. | Ph.D.-Student | | 1.5-1 | Automated Theorem Proving |
| Wiesinger-Widi Manuela, DI | Ph.D.-Student | +43 732 2468 9969 | 0.5-2 | Gröbner Bases, Automated Theorem Proving |
| Windsteiger Wolfgang, DI Dr. | Faculty | +43 732 2468 9960 | 0.3-1 | Automated Theorem Proving, Computer Algebra, Mathematica, Symbolic Computation in Education |
| Winkler Franz, Univ.-Prof. DI.Dr. | Faculty | +43 732 2468 9943 | 2.5-1 | Computer Algebra, Constructive Algebraic Geometry |
| Zafeirakopoulos Zafeirakis | Ph.D.-Student | +43 732 2468 9983 | 0.2-3 | |
