| Name |
Position |
Phone |
Office |
Working area |
| Guta Gabor, MSc | Ph.D.-Student | | none | model transformation modification by example |
| Khan Muhammad Taimoor, M.Sc. | Ph.D.-Student | +43 732 2468 9927 | 1.7-1 | Formal Methods, Computer Algebra Software |
| Kutsia Teimuraz, Priv.-Doz. Dipl.-Math. Dr. | Faculty | +43 732 2468 9982 | 0.7-4 | Unification, automated reasoning, rule-based programming |
| Lichtenberger Franz, Dr. | Faculty | +43 732 2468 9948 | 2.9-1 | Formal Methods, Mathematics Education |
| Schreiner Wolfgang, A.Univ.-Prof. DI Dr. | Faculty | +43 732 2468 9963 | 1.3-1 | Formal Methods, Parallel and Distributed Computing |