Personenprofil

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

Gernot Salzer

Telefon +43 1 58801 18541

E-Mailgernot.salzer@tuwien.ac.at

Zugeordnet

E180	E192-05	E199-01	E913	E056-13

Visitenkarte

Forschungsabteilung

Name	Leitung/Mitglied
Betriebsrat (DA) für das wissenschaftliche und künstlerische Universitätspersonal	Mitglied
Fakultät für Informatik	Mitglied

Name	Leitung/Mitglied
Fachbereich LogiCS	Mitglied
Forschungsbereich Theory and Logic	Mitglied
Dekanat der Fakultät für Informatik	Mitglied

Forschungsprofil (Deutsch):

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

Forschungsprofil (Englisch):

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

Publikationen:

Schlagwort (Deutsch)	Schlagwort (Englisch)
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

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
Information and Communication Technology	Logic and Computation	No additional information is available.	100

Fakultätsschwerpunkt	Prozent
Logic andComputation	100

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
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

Gremium	Bezeichnung	Sitz	Funktion	Von-Bis	Bemerkungen
Gremien an der TU Wien	Betriebsrat	Österreich		-
Gremien an der TU Wien	Fakultätsrat Informatik	Österreich		-
wissenschaftliche Gesellschaft	Kurt Gödel Society	Österreich	Vorständin/Vorstand	01/2000 -	Kassier, Vorstandsmitglied
Gremien an der TU Wien	Senat	Österreich		-
Gremien an der TU Wien	Studienkommission Informatik	Österreich		-

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis
Journal of Automated Reasoning	SCI (Science Citation Index)	Ja	Reviewer	01/2004 -
Journal of Symbolic Computation	SCI (Science Citation Index)	Ja	Reviewer	01/2004 -
Studia Logica	SCIE (Science Citation Index Expanded)	Ja	Reviewer	01/2004 -
Theoretical Computer Science	SCI (Science Citation Index)	Ja	Reviewer	01/2004 -

Kategorie	Art der Mitarbeit	Veranstaltungsname	Von	Bis	Funktion/Bemerkungen
Fachtagung/Veranstaltung	Organisator_in	International Conference on Rewriting Techniques ans Applications	07/2014		OC Chair, PC Member