Forschungsportal

Lehre Forschung Organisation

Personenprofil

Univ.Prof.in Dr.in techn.

Laura Kovacs

MSc

Telefon +43 1 58801 18430

E-Maillaura.kovacs@tuwien.ac.at

Zugeordnet

E192	E192-04	E192-50	E056-10	E056-13	E056-17	E056-26

Visitenkarte

https://orcid.org/0000-0002-8299-2714

Forschungsabteilung

Name	Leitung/Mitglied
Institut für Logic and Computation	Leitung

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering	Leitung
Fachbereich LogiCS	Mitglied
Fachbereich Automated Reasoning	Mitglied
Services des Instituts	Leitung
Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies	Mitglied
Fachbereich Trustworthy Autonomous Cyber-Physical Systems	Mitglied

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
software verification	software verification
Computational Logic	Computational Logic
theorem proving	theorem proving
Automated Reasoning	Automated Reasoning
Computer Algebra	computer algebra
Cybersecurity	Cybersecurity

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
Logic andComputation	100

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1108	Informatik	Informatics
1111	Logik	Logic
1141	Symbolic Computation	Symbolic computation
1122	Artificial Intelligence	Artificial intelligence
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