Name |
Position |
Phone 1 |
Phone 2 |
Mobile |
Office |
Working area |
Amiridze Nino | PostDoc | none | | | none | |
Buran Michal | PostDoc | none | | +447796674152 | 1.9-1 | Proof Theory |
Capco Jose, Dr. | Former member | +43 732 2468 9942 | | | -2.10-2 | Algebraic Geometry in Kinematics |
Cerna David, Dr | PostDoc | +43 732 2468 9939 | | | 1.9-2 | Formal Methods, Proof Theory, Automated Theorem Proving, Unification and Generalization |
de Freitas Abilio | PostDoc | +43 732 2468 9952 | | | -2.18-3 | Particle Physics, Computer Algebra |
Dominici Diego | PostDoc | +43 732 2468 9956 | | | -2.11-1 | Special functions and orthogonal polynomials |
Falkensteiner Sebastian, DI Dr. (moved to MPI Leipzig) | Former member | +43 732 2468 9967 | | +436649319610 | -2.12-2 | Differential Algebra, Algebraic Geometry, Symbolic Computation |
Goswami Ankush, Dr. | PostDoc | none | | 06647932324 | -1.11-1 | Analytic number theory, Integer partitions, q-series, combinatorics and modular forms |
Guo Jeremy, Dr. | Former member | +43 732 2468 9938 | | +43 681 1051 3675 | none | Integer Partitions, q-Series, Combinatorics |
Kovacs Zoltan, Dr. (joint PostDoc GeoGebra+RISC) | PostDoc | +43 732 2468 9975 | | +43 680 5026211 | none | GeoGebra |
Makhul Mehdi | PostDoc | +4373224689952 | | | -2.18-1 | |
Middeke Johannes, Dr. | Former member | +43 732 2468 9929 | | | -2.12-1 | Matrix Normal Forms |
Pau Ioana-Cleopatra, Dr. techn. | PostDoc | +43 732 2468 9973 | | | -2.10-1 | Unification and Generalization Algorithms and Applications |
Radu Cristian-Silviu, Dr. | PostDoc | +43 732 2468 9981 | | | 0.2-5 | Computer mathematics |
Rosenkranz Markus, Priv.-Doz. Dr. | PostDoc | +43 732 2468 9935 | | | 2.6-2 | Differential algebra; boundary problems |
Smoot Nicolas, Dr. | PostDoc | +43 732 2468 9957 | | | -2.18-6 | Analytic Number Theory, Modular Forms, Partition Theory |
Uncu Ali, Dr. | Former member | +43 732 2468 9962 | | +43 676 396 1997 | -1.11-1 | Integer Partitions, q-Series, Combinatorics |
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 | | |