Person profile

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Gernot Salzer

Phone +43 1 58801 18541

E-Mailgernot.salzer@tuwien.ac.at

Assigned

E192-05	E056-13

Business Card

Research area

Name	Management/Member
Fachbereich LogiCS	Member
Forschungsbereich Theory and Logic	Member

Research profile (German):

Sicherheit von Blockchain Programmen (Smart Contracts), Komplexitätstheorie, Automatisches Beweisen

Research profile (English):

Security of Blockchain Programs (Smart Contracts), Complexity Theory, Automated Reasoning

Publications:

Publications

Keyword (German)	Keyword (English)
Constraint Erfüllung	Constraint Satisfaction Problems
Formale Methoden der Informatik	Formal Methods in Computer Science
Automatisches Schließen	Automated Reasoning
Computersicherheit	Security
Komplexitätstheorie	Computational Complexity
Blockchain-Technologien	Blockchain Technology
Smart Contracts	Smart Contracts

Research focus	Research field	Keywords	Percentage
Information and Communication Technology	Logic and Computation	No additional information is available.	100

Faculty focus	Percentage
Logic andComputation	100

Code	Area of expertise (German)	Area of expertise (English)
1106	Formale Sprachen	Formal languages
1108	Informatik	Informatics
1109	Informations- und Datenverarbeitung	Information and data processing
1111	Logik	Logic
1122	Artificial Intelligence	Artificial intelligence
1138	Informationssysteme	Information systems
1141	Symbolic Computation	Symbolic computation
1147	Sicherheit in der Informationstechnik (IT-Sicherheit)	IT security
1126	Computer-Netzwerke	Computer networks

Committee	Description	Location	Function	From-To	Comment
Gremien an der TU Wien	Betriebsrat	Österreich		-
Gremien an der TU Wien	Fakultätsrat Informatik	Österreich		-
wissenschaftliche Gesellschaft	Kurt Gödel Society	Österreich	Chairman	01/2000 -	Kassier, Vorstandsmitglied
Gremien an der TU Wien	Senat	Österreich		-
Gremien an der TU Wien	Studienkommission Informatik	Österreich		-

Title	Classification	Referenced	Function	From-To
Journal of Automated Reasoning	SCI (Science Citation Index)	Yes	Reviewer	01/2004 -
Journal of Symbolic Computation	SCI (Science Citation Index)	Yes	Reviewer	01/2004 -
Studia Logica	SCIE (Science Citation Index Expanded)	Yes	Reviewer	01/2004 -
Theoretical Computer Science	SCI (Science Citation Index)	Yes	Reviewer	01/2004 -

Category	Collaboration	Event name	From	Until	Function/Comments
Fachtagung/Veranstaltung	Organisator_in	International Conference on Rewriting Techniques ans Applications	07/2014		OC Chair, PC Member