Name |
Position |
Phone 1 |
Phone 2 |
Mobile |
Office |
Working area |
Banerjee Koustav, Dr. | PostDoc | ++43(0)732/2468-9938 | | | 0.2-4 | Theory of Partitions, Modular Forms, q- Series. |
Buchberger Bruno, Prof. Dr.Dr.h.c.mult. (Founding Chairman 1987-1998) | Faculty | +43 664 4211646 | | | 2.4-1 | Symbolic Computation |
Buran Michal | PostDoc | none | | +447796674152 | none | Proof Theory |
Capco Jose, Dr. | PostDoc | +43 732 2468 9942 | | | -2.10-2 | Algebraic Geometry |
Cerna David, Dr | PostDoc | +43 732 2468 9939 | | | 1.9-2 | Formal Methods, Proof Theory, Automated Theorem Proving, Unification and Generalization |
Danielczyk-Landerl Werner, DI | Faculty | +43 732 2468 9965 | | | 0.7-2 | |
de Freitas Abilio | PostDoc | +43 732 2468 9952 | | | -2.18-3 | Particle Physics, Computer Algebra |
Ehling Georg | Ph.D. Student | +43 732 2468 9959 | | | -2.10-4 | |
Fadeev Nikolai | Ph.D. Student | +43 732 2468 9983 | | | -2.18-2 | Combinatorics, Computer Algebra |
Gao Yiman | PostDoc | none | | | -2.18-6 | |
Gonzales Andres | Ph.D. Student | none | | | none | |
Goswami Ankush, Dr. | PostDoc | none | | 06647932324 | -1.11-1 | Analytic number theory, Integer partitions, q-series, combinatorics and modular forms |
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 |
Jebelean Tudor, A.Univ.-Prof. Dr. | Faculty | +43 732 2468 9946 | | +43 650 5809220 | 2.8-1 | Automated Reasoning, Systolic Computations, Multiprecision Arithmetic |
Kovacs Zoltan, Dr. (joint PostDoc GeoGebra+RISC) | PostDoc | +43 732 2468 9975 | | +43 680 5026211 | none | GeoGebra |
Kutsia Teimuraz, Priv.-Doz. Dipl.-Math. Dr. | Faculty | +43 732 2468 9982 | | +43 664 943 22 98 | -2.14-1 | Unification, automated reasoning, rule-based programming |
Landsmann Guenter, Dr. | Faculty | +43 732 2468 9968 | | +43 (0) 676 7836149 | 0.3-2 | Algebraic Geometry |
Lubbes Niels, M.Sc. | Lecturer | none | | | None | |
Makhul Mehdi | PostDoc | +4373224689952 | | | -2.18-1 | |
Obrovsky Jakob, DI | Ph.D. Student | +43 732 2468 9957 | | | -2.18-4 | Difference equations |
Oehme-Pöchinger Ramona | Administration | +43 732 2468 9910 | | | 1.1-4 | |
Pau Ioana-Cleopatra, Dr. techn. | PostDoc | +43 732 2468 9973 | | | -2.10-1 | Unification and Generalization Algorithms and Applications |
Paule Peter, Univ.-Prof. Dr. (Director 2009-2023) | Faculty | +43 732 2468 9940 | | | 2.3-1 | Symbolic Computation in Combinatorics and Special Functions |
Pillwein Veronika, Assoc. Prof. Dr. | Faculty | +43 732 2468 9956 | | | -2.11-2 | Special Functions, High order finite elements |
Popov Nikolaj, Dr. | Faculty | +43 732 2468 9926 | | +43 650 758 1987 | 2.9-2 | Program Verification |
Radu Cristian-Silviu, Dr. | Faculty | +43 732 2468 9981 | | | 0.2-5 | Computer mathematics |
Schicho Josef, A.Univ.-Prof. Dr. | Faculty | +43 732 2468 5231 | | | 2.6-1 | |
Schneider Carsten, Univ.-Prof. Dr. (Director since 2023) | Director | +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 |
Wahner Ralf, Dipl.-Math. | Administration | +43 732 2468 9984 | | | 0.7-4 | |
Windsteiger Wolfgang, Assoc. Univ.-Prof. DI Dr. | Faculty | +43 732 2468 9960 | | +43 664 1496575 | -2.13-1 | Theorema, Automated Theorem Proving, Computer Algebra, Mathematica, Symbolic Computation in Education |
Winkler Franz, Univ.-Prof. DI.Dr. (Chairman 1999-2009) | Faculty | +43 732 2468 9943 | | | 2.5-1 | Computer Algebra, Constructive Algebraic Geometry |
RISC Software GmbH | | +43 7236 3343 234 | | |
Sysadmin | | +43 732 2468 9980 | | |
RISC-Lounge | | +43 732 2468 9954 | | |
UFO | | +43 732 2468 9923 | | |
Guest room castle, place 1 | | +43 732 2468 9976 | | |
Guest room castle, place 2 | | +43 732 2468 9932 | | |
Pond building, Vorstand (meeting room) | | +43 732 2468 9955 | | |
Pond building, guest room | | +43 732 2468 9953 | | |
Library | | +43 732 2468 9922 | | |
Entrance door castle | | +43 732 2468 9970 | | |
Entrance door opener castle | | 9971 (from inside) | | |
Entrance door pond | | +43 732 2468 9972 | | |
Machine Room | | +43 732 2468 9986 | | |
University office science park S20327-1 | | +43 732 2468 6890 | | |
University office science park S20327-2 | | +43 732 2468 6891 | | |
University office science park S20328.1 | | +43 732 2468 6892 | | |
University office science park S20328.2 | | +43 732 2468 6893 | | |