| Name |
Position |
Phone |
Office |
Working area |
| Ablinger Jakob, DI | Ph.D.-Student | +43 732 2468 9969 | 0.5-4 | |
| Aparicio-Monforte Ainhoa, Dr | PostDoc | +43 732 2468 9974 | 1.7-3 | Differential Galois Theory, Integrability, Morales Ramis Theory, Differential Geometry |
| Bósa Károly, DI. Dr. | Faculty | | none | Parallel and Distributed Computing, Grid Computing, Generic Programming |
| Brandner-Foissner Ilse | Administration | +43 732 2468 9920 | 1.1-1 | |
| Buchberger Bruno, Univ.-Prof. Dr.phil.DDr.h.c. | Faculty | +43 732 2468 9941 | 2.4-1 | Symbolic Computation |
| Cha Yongjae, Dr. | PostDoc | +43 732 2468 9927 | 1.7-2 | Difference Equations, Special Function Inequalities |
| Curtis Betina (on leave) | Administration | | none | |
| Danielczyk-Landerl Werner, DI | Administration | +43 732 2468 9965 | 0.7-2 | |
| Dönch Christian, Dipl.-Math. oec. Univ. | Ph.D.-Student | +43 732 2468 9964 | 2.10-2 | Computer Algebra |
| Demirkiran Cevahir | Ph.D.-Student | +43 732 2468 9928 | 2.2-1 | |
| Dramnesc Isabela | Ph.D.-Student | | none | Automated Reasoning, Computer Supported Mathematical Theory Exploration, Algorithm Synthesis |
| Dundua Besik, DI | Ph.D.-Student | | none | Computational logic |
| Eraşcu Mădălina, M.Sc. | Ph.D.-Student | +43 732 2468 9929 | 1.9-4 | automated theorem proving, computer algebra, algorithmic combinatorics. |
| Erdei Károly , DI | Faculty | +43 732 2468 9925 | 1.6-1 | Management of the SAG |
| Grasegger Georg, DI | Ph.D.-Student | +43 732 2468 9950 | 2.10-3 | |
| Guta Gabor, MSc | Ph.D.-Student | | none | model transformation modification by example |
| Gutenbrunner Tanja | Administration | +43 732 2468 9921 | 1.1-3 | |
| Hemmecke Ralf, Dipl.-Math. Dr. | Faculty | +43 732 2468 9961 | 2.7-1 | Computer Algebra |
| Hudayberdiev Mirzaakbar, Dr. | PostDoc | | 1.8 | Pattern Recognition and Computer Algebra |
| Jaroschek Maximilian, Dipl.-Inf. Univ. | Ph.D.-Student | +43 732 2468 9926 | 1.7-6 | |
| Jebelean Tudor, A.Univ.-Prof. Dr. | Faculty | +43 732 2468 9946 | 2.8-1 | Automated Reasoning, Systolic Computations, Multiprecision Arithmetic |
| Johansson Fredrik, M.Sc. | Ph.D.-Student | +43 732 2468 9983 | 0.2-3 | Computation of special functions, arbitrary-precision arithmetic |
| Judakova Gozel, Dipl.-Math. | Ph.D.-Student | +43 732 2468 9937 | 2.10-1 | Boundary value Problems |
| 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 | +43 732 2468 9945 | 0.2-1 | Symbolic Integral Operators and Boundary Problems |
| Koutschan Christoph, Dr. (on leave) | PostDoc | | none | Algorithmic Combinatorics, Symbolic Summation and Integration of Holonomic Functions |
| Kutsia Teimuraz, Priv.-Doz. Dipl.-Math. Dr. | Faculty | +43 732 2468 9982 | 0.7-4 | Unification, automated reasoning, rule-based programming |
| Landsmann Günter, Dr. | Faculty | +43 732 2468 9968 | 0.3-2 | Algebraic Geometry |
| Lichtenberger Franz, Dr. | Faculty | +43 732 2468 9948 | 2.9-1 | Formal Methods, Mathematics Education |
| Middeke Johannes, Dipl.-Math. Dr. | PostDoc | +43 732 2468 9950 | 2.10-4 | Differential algebra |
| Moale Ionela, Dr. | PostDoc | +43 732 2468 9939 | 1.7-4 | |
| Paule Peter, Univ.-Prof. Dr. | Chairman | +43 732 2468 9940 | 2.3-1 | Symbolic Computation in Combinatorics and Special Functions |
| Pöchinger Ramona | Administration | +43 732 2468 9910 | 1.1-4 | |
| 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 |
| Popov Nikolaj, Dr. | Faculty | +43 732 2468 9926 | 1.7-5 | Program Verification |
| Praher Jakob, DI | Ph.D.-Student | | none | Automated Reasoning, Logic Programming |
| Raab Clemens Gunter, DI | Ph.D.-Student | +43 732 2468 9983 | 0.2-4 | Symbolic Integration |
| Radu Cristian-Silviu, Dr. | PostDoc | +43 732 2468 9981 | 0.2-5 | Computer mathematics |
| Rahkooy Hamid | Ph.D.-Student | +43 732 2468 9928 | 2.2-2 | Grobner Bases, Resultants; Automated Reasoning |
| Rolletschek Heinrich, A.Univ.-Prof. Dr. | Faculty | +43 732 2468 9947 | 2.11-1 | Algorithm Theory |
| Round Mark, Dr | PostDoc | +43 732 2468 9969 | 0.5-4 | |
| Schicho Josef, A.Univ.-Prof. Dr. (on leave) | Faculty | | none | |
| Schinkinger Klaus | Administration | +43 732 2468 9984 | 0.7-1 | System Administration |
| 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 |
| Serafini Andrea, M.Sc. (On visit) | Ph.D.-Student | +43 732 2468 9969 | 0.5-1 | Computer Algebra, Logic |
| Sinka Zsuzsanna, M.Sc. | Ph.D.-Student | | none | |
| Thanatipanonda Thotsaporn, Dr. | PostDoc | +43 732 2468 9967 | 0.7-6 | Combinatorics |
| Wiesinger-Widi Manuela, DI | Ph.D.-Student | +43 732 2468 9969 | 0.5-2 | Groebner 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 9945 | 0.2-2 | Partition Analysis, Linear Diophantine Systems, Polyhedral Geometry |
