Formal Methods
| Title | Name | Location | Phone |
Group leader
| DI Dr. | Franz Lichtenberger | 2.9-1 | +43 732 2468 9948 | 
|
Faculty
| A.Univ.-Prof. DI Dr. | Wolfgang Schreiner | 1.3-1 | +43 732 2468 9963 |
|
PhD Students
| M.Sc. | Gabor Guta | 1.7-1 | +43 732 2468 9927 |
|
| M.Sc. | Muhammad Taimoor Khan | 1.7-1 | +43 732 2468 9927 |
|
| (Note: The given phone numbers have to be prefixed by +43 732 2468 from outside the University.) |