Person profile

Univ.Prof.in Dr.in techn.

Laura Kovacs

MSc

Phone +43 1 58801 18430

E-Maillaura.kovacs@tuwien.ac.at

Assigned

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

Business Card

Research area

Name	Management/Member
Research Unit of Formal Methods in Systems Engineering	Management
Service Unit of LogiCS	Member
Service Unit of Automated Reasoning	Member
Service Unit of SecInt-Secure and Intelligent Human-Centric Digital Technologies	Member
Service Unit of Trustworthy Autonomous Cyber-Physical Systems	Member

Research profile (German):

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

Research profile (English):

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

Publications:

Publications

Faculty focus	Percentage
Logic andComputation	100

Code	Area of expertise (German)	Area of expertise (English)
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

Category	Collaboration	Event name	From	Until	Function/Comments
Postgraduate courses / 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
Postgraduate courses / 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