| Name |
Position |
Phone |
Office |
Working area |
| Ablinger Jakob, Dr. | PostDoc | +43 732 2468 9951 | -2.18-4 | |
| Baumgartner Alexander, DI | Ph.D.-Student | +43 732 2468 9967 | -2.12-2 | Symbolic Computation Techniques for Unranked Terms (SToUT project) |
| Bósa Károly, DI. Dr. | Faculty | none | none | Parallel and Distributed Computing, Grid Computing, Generic Programming |
| Brandner-Foissner Ilse | Administration | +43 732 2468 9920 | 1.1-1 | |
| Buchberger Bruno, Prof. Dr.Dr.h.c.mult. | Faculty | +43 732 2468 9941 | 2.4-1 | Symbolic Computation |
| Curtis Betina (on leave) | Administration | none | none | |
| Danielczyk-Landerl Werner, DI | Administration | +43 732 2468 9965 | 0.7-2 | |
| Dundua Besik, DI | Ph.D.-Student | none | none | Computational logic |
| Eraşcu Mădălina, Dr. | PostDoc | +43 732 2468 9929 | -2.12-1 | automated theorem proving, computer algebra, algorithmic combinatorics. |
| Erdei Károly , DI | Faculty | +43 732 2468 9925 | 1.6-1 | Management of the SAG |
| Fuerst Christoph, DI | Ph.D.-Student | none | none | Computer Algebra, Difference-Differential Modules |
| Gallet Matteo, M.Sc | Ph.D.-Student | +43 732 2468 9959 | -2.18-3 | Algebraic Geometry |
| Grasegger Georg, DI | Ph.D.-Student | +43 732 2468 9964 | -1.11-1 | |
| Gutenbrunner Tanja | Administration | +43 732 2468 9921 | 1.1-3 | |
| Hasselhuhn Alexander, Dipl.-Phys. | Ph.D.-Student | +43 732 2468 9942 | -2.10-1 | High Energy Physics, Precision calculations, Special Functions |
| Hemmecke Ralf, Dipl.-Math. Dr. | Faculty | +43 732 2468 9961 | 2.7-1 | Computer Algebra |
| Jaroschek Maximilian, Dipl.-Inf. Univ. | Ph.D.-Student | +43 732 2468 9952 | -2.18-1 | |
| 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 |
| Kauers Manuel, Priv.-Doz. Dr. | Faculty | +43 732 2468 9958 | -2.11-1 | Algorithmic Combinatorics, Computer Algebra |
| Khan Muhammad Taimoor, M.Sc. | Ph.D.-Student | +43 732 2468 9927 | 1.7-1 | Formal Methods, Computer Algebra Software |
| Korporal Anja, Dipl.-Math. | Ph.D.-Student | none | none | Symbolic Boundary Problems and Integral Operators |
| Koutschan Christoph, Dr. (on leave) | PostDoc | +43 732 2468 5254 | none | Algorithmic Combinatorics, Symbolic Summation and Integration of Holonomic Functions |
| Kovacs Zoltan (joint student GeoGebra+RISC) | Ph.D.-Student | none | -1.12-2 | GeoGebra |
| Kutsia Teimuraz, Priv.-Doz. Dipl.-Math. Dr. | Faculty | +43 732 2468 9982 | -2.14-1 | 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 |
| Mezzarobba Marc | PostDoc | +43 732 2468 9957 | -2.10-2 | D-Finite Functions, Floating-Point Arithmetic |
| Oehme-Pöchinger Ramona (on leave) | Administration | +43 732 2468 9910 | 1.1-4 | |
| Paule Peter, Univ.-Prof. Dr. | Chairman | +43 732 2468 9940 | 2.3-1 | Symbolic Computation in Combinatorics and Special Functions |
| Pillwein Veronika, Dr. | Faculty | +43 732 2468 9956 | -2.11-2 | Special Functions, High order finite elements |
| Popov Nikolaj, Dr. | Faculty | +43 732 2468 9926 | 1.7-5 | Program Verification |
| Praher Jakob, DI | Ph.D.-Student | none | none | Automated Reasoning, Logic Programming |
| Radu Cristian-Silviu, Dr. | PostDoc | +43 732 2468 9981 | 0.2-5 | Computer mathematics |
| Rahkooy Hamid | Ph.D.-Student | +43 732 2468 9928 | -2.18-6 | 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 9945 | 0.2-2 | |
| Schicho Josef, A.Univ.-Prof. Dr. (on leave) | Faculty | none | 2.6-1 | |
| Schneider Carsten, Priv.-Doz. Dipl.-Inf. Dr. | Faculty | +43 732 2468 9966 | -2.15-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. | Ph.D.-Student | +43 732 2468 9939 | 1.7-4 | Computer Algebra, Logic |
| Wiesinger-Widi Manuela, DI | Ph.D.-Student | +43 732 2468 9969 | -2.18-3 | Groebner Bases, Automated Theorem Proving |
| Windsteiger Wolfgang, DI Dr. | Faculty | +43 732 2468 9960 | -2.13-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 |
| Ye Liangjie, M.Sc. | Ph.D.-Student | +43 732 2468 9937 | -2.12-3 | symbolic computation |
| Zafeirakopoulos Zafeirakis, Dr | PostDoc | +43 732 2468 9974 | -2.18-1 | Partition Analysis, Linear Diophantine Systems, Polyhedral Geometry |
| Zimmermann Burkhard, Mag. | Ph.D.-Student | none | none | Definite Symbolic Summation and Integration of Holonomic Functions |
