| Name |
Position |
Phone |
Office |
Working area |
| Buchberger Bruno, Univ.-Prof. Dr.phil.DDr.h.c. | Faculty | +43 732 2468 9941 | 2.4-1 | Symbolic Computation |
| Dramnesc Isabela | Ph.D.-Student | | none | Automated Reasoning, Computer Supported Mathematical Theory Exploration, Algorithm Synthesis |
| Dundua Besik, DI | Ph.D.-Student | | none | Computational logic |
| Eraşcu Mădălina, M.Sc. | Ph.D.-Student | +43 732 2468 9929 | 1.9-4 | automated theorem proving, computer algebra, algorithmic combinatorics. |
| Jebelean Tudor, A.Univ.-Prof. Dr. | Faculty | +43 732 2468 9946 | 2.8-1 | Automated Reasoning, Systolic Computations, Multiprecision Arithmetic |
| Kutsia Teimuraz, Priv.-Doz. Dipl.-Math. Dr. | Faculty | +43 732 2468 9982 | 0.7-4 | Unification, automated reasoning, rule-based programming |
| Piroi Florina Mihaela, DI. Dr. | PostDoc | | none | Theorem Proving, Symbolic Computation |
| Popov Nikolaj, Dr. | Faculty | +43 732 2468 9926 | 1.7-5 | Program Verification |
| Praher Jakob, DI | Ph.D.-Student | | none | Automated Reasoning, Logic Programming |
| Rahkooy Hamid | Ph.D.-Student | +43 732 2468 9928 | 2.2-2 | Grobner Bases, Resultants; Automated Reasoning |
| Sacha Marek | Student | | none | |
| Serafini Andrea, M.Sc. (On visit) | Ph.D.-Student | +43 732 2468 9969 | 0.5-1 | Computer Algebra, Logic |
| Sinka Zsuzsanna, M.Sc. | Ph.D.-Student | | none | |
| Wiesinger-Widi Manuela, DI | Ph.D.-Student | +43 732 2468 9969 | 0.5-2 | Groebner Bases, Automated Theorem Proving |
| Windsteiger Wolfgang, DI Dr. | Faculty | +43 732 2468 9960 | 0.3-1 | Automated Theorem Proving, Computer Algebra, Mathematica, Symbolic Computation in Education |