Gernot Salzer

Gernot Salzer is an Associate Professor in the Department of Theory and Logic at Technische Universität Wien. His research focuses on Security of Blockchain Programs (Smart Contracts), Complexity Theory, and Automated Reasoning. He holds roles in curriculum commissions for Informatics and Computer Engineering. His work bridges formal methods with practical applications in blockchain technology, emphasizing vulnerability detection and formal verification.

Salzer’s research interests include Constraint Satisfaction Problems, Formal Methods in Computer Science, and the intersection of computational complexity with blockchain systems. He actively contributes to the development of tools like SmartBugs 2.0 for analyzing smart contracts and has published extensively on topics such as automated weakness detection and Ethereum bytecode analysis.

His recent publications highlight advancements in smart contract security, compiler vulnerability studies, and empirical evaluations of blockchain systems. Salzer has advised numerous students on projects related to smart contracts, blockchain vulnerabilities, and decentralized technologies. He has led grants from the Austrian Science Fund (FWF) and the Austrian Research Promotion Agency (FFG), focusing on constraint satisfaction and blockchain analysis.

Salzer collaborates on projects like the development of decision support systems for dermatology and tools for configuration management using UML. His interdisciplinary approach integrates theoretical computer science with practical applications in distributed systems and security.