Forschungsportal

Lehre Forschung Organisation

Personenprofil

Zugehörigkeit
Keywords

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering	Mitglied

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Programmverifikation	Program Verification
Automated Reasoning	Automated Reasoning
Software Verifikation	Software Verification
Formale Methoden	Formal Methods

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
Information and Communication Technology	Logic and Computation	No additional information is available.	100

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
Logic andComputation	100

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1108	Informatik	Informatics
1111	Logik	Logic

Support | Policies | Impressum | Datenschutz

Technische Universität Wien - Karlsplatz 13 | 1040 Wien, Österreich | Tel. +43-1-58801-0