Person profile

Univ.Prof. Dipl.-Ing.

Georg Weissenbacher

D.Phil.

Phone +43 1 58801 18435

E-Mailgeorg.weissenbacher@tuwien.ac.at

Assigned

E192-04	E902	E056-13	E056-26

Business Card

Research area

Name	Management/Member
Research Unit of Formal Methods in Systems Engineering	Member
Service Unit of Automated Reasoning	Management
Service Unit of LogiCS	Member

Research profile (German):

Automatisierte Softwareverifikation

Research profile (English):

Automated Software Verification

Link to CV:

Publications:

Publications

Keyword (German)	Keyword (English)
Formal Methods	Formal Methods
System Security	System Security

Research focus	Research field	Keywords	Percentage
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	70
Information and Communication Technology	Computer Engineering and Software-Intensive Systems	Dependable Networked Embedded Systems, Fehlertolerante verteilte Echtzeitsysteme, Zeitgesteuerte Echtzeitsysteme, Dependable Systems-on-Chip, Model-based Design, Validation & Verification, Automation Systems, Speichersysteme	30

Faculty focus	Percentage
Logic andComputation	70
ComputerEngineering	30

Title	Funding program	Function	Website	From	Until
National, WWTF - Vienna Science and Technology Fund
Heisenbugs - From Detection to Explanation	Vienna Research Groups	Group Leader		01.10.2012	30.09.2020