Personenprofil

Univ.Prof.in Dr.in techn.

Laura Kovacs

MSc

Telefon +43 1 58801 18430

E-Maillaura.kovacs@tuwien.ac.at

Zugeordnet

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

Visitenkarte

Forschungsbereich

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

Forschungsprofil (Deutsch):

Automated Reasoning, Computational Logic, Formal Methods, Symbolic Computation, Cybersecurity

Forschungsprofil (Englisch):

Automated Reasoning, Computational Logic, Formal Methods, Symbolic Computation, Cybersecurity

Publikationen:

Fakultätsschwerpunkt	Prozent
Logic andComputation	100

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1108	Informatik	Informatics
1147	Sicherheit in der Informationstechnik (IT-Sicherheit)	IT security
1111	Logik	Logic
1141	Symbolic Computation	Symbolic computation
1122	Artificial Intelligence	Artificial intelligence
1131	Computer Algebra	Computer algebra

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