Name |
Position |
Phone 1 |
Phone 2 |
Mobile |
Office |
Working area |
Amiridze Nino | PostDoc | none | | | none | |
Banerjee Koustav, Dr. | PostDoc | ++43(0)732/2468-9938 | | | 0.2-4 | Theory of Partitions, Modular Forms, q- Series. |
Buran Michal | PostDoc | none | | +447796674152 | 1.9-1 | Proof Theory |
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 |
Pau Ioana-Cleopatra, Dr. techn. | PostDoc | +43 732 2468 9973 | | | -2.10-1 | Unification and Generalization Algorithms and Applications |
Qi Jiayue, Dr. | PostDoc | +43 732 2468 9933 | | | 0.5-2 | |
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 |
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 | | |