Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-2 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Informatik,Softwaretechnik und Programmiersprachen,Rechnerarchitektur, eingebettete und massiv parallele Systeme |
| Keywords | formal verification, refinement, Object-Z, object orientation, formal specification |
Aktuelle Kontaktadresse
| Land | Australien |
|---|---|
| Ort | Brisbane |
| Universität/Institution | University of Queensland (UQ) |
| Institut/Abteilung | School of Information Technology and Electrical Engineering |
Gastgeber*innen während der Förderung
| Prof. Dr. Stefan Jähnichen | Fachgebiet Softwaretechnik, Technische Universität Berlin, Berlin |
|---|---|
| Prof. Dr. Stefan Jähnichen | Fakultät Elektrotechnik und Informatik, Fachgebiet Softwaretechnik, TEL 12-3, Technische Universität Berlin, Berlin |
| Beginn der ersten Förderung | 01.07.1996 |
Programm(e)
| 1995 | Humboldt-Forschungsstipendien-Programm |
|---|