Forschungsportal

Lehre Forschung Organisation

Personenprofil

Univ.Prof.in Dr.in techn.

Kovacs Laura

MSc

Telefon +43 1 58801 18430

E-Maillaura.kovacs@tuwien.ac.at

Zugeordnet

E056-10	E056-13	E192-04

Zum Adressbuch

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering	Leitung
Fachbereich LogiCS	Mitglied
Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies	Mitglied

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
verifikation, invarianten, theorembeweis, symbolic computation	verification, invariants, theorem proving, symbolic computation

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1108	Informatik	Informatics
1111	Logik	Logic
1141	Symbolic Computation	Symbolic computation
1131	Computer Algebra	Computer algebra

Veranstaltung / Kongresse

Kategorie	Art der Mitarbeit	Veranstaltungsname	Von	Bis	Funktion/Bemerkungen
Postgraduale Lehrgänge/Summer School	Sonstiges		02/2012	02/2012	Lecture title "Automated Theorem Proving - An Introduction", lecture taught at the ARiSE/VCLA Winter School on Verification, TU Wien
Postgraduale Lehrgänge/Summer School	Sonstiges		02/2012	02/2012	Lecture title "Automated Theorem Proving - with some Applications to Verification", lecture taught at the ARiSE/VCLA Winter School on Verification, TU Wien

Support | Policies | Impressum | Datenschutz

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