Name |
Position |
Phone 1 |
Phone 2 |
Mobile |
Office |
Working area |
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 | 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 |
Ehling Georg | Ph.D. Student | +43 732 2468 9959 | | | -2.10-4 | |
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 |
Popov Nikolaj, Dr. | Faculty | +43 732 2468 9926 | | +43 650 758 1987 | 2.9-2 | Program Verification |
Schreiner Wolfgang, A.Univ.-Prof. DI Dr. | Faculty | +43 732 2468 9963 | | | 1.3-1 | Formal Methods, Parallel and Distributed Computing |
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 |
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 | | |