Personenprofil

Projektass.in(FWF) Dipl.-Ing.in Dr.in techn.

Daniela Kaufmann

Telefon

E-Maildaniela.kaufmann@tuwien.ac.at

Zugeordnet

E192-04

Visitenkarte

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering	Mitglied

Schlagwort (Deutsch)	Schlagwort (Englisch)
Computational Logic	Computational Logic
verification and validation	verification and validation
Computer Algebra	computer algebra
Automated Reasoning	Automated Reasoning
Formal Methods	Formal Methods

Support | Policies | Impressum | Datenschutz

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