Bernhard Scholz

Bernhard Scholz is a Professor at the University of Sydney's School of Computer Science. His research focuses on programming languages, compilers, static analysis, and blockchain technologies, with significant contributions to Datalog optimization and smart contract security. He teaches COMP3109 Programming Languages and Paradigms and leads research in declarative programming frameworks.

Scholz's primary research interests include:

• Development of Soufflé, a Datalog-based program analysis framework
• Ethereum smart contract security through tools like Ethainter and MadMax
• Parallel data structures for efficient Datalog evaluation
• Compiler optimizations for embedded systems and cloud environments

His recent publications demonstrate a consistent focus on improving the efficiency and security of declarative programming systems, particularly through innovations in Datalog execution and smart contract analysis. This work bridges theoretical computer science with practical applications in blockchain and distributed systems.

Scholz has secured research funding including an ARC Discovery Project on adaptive key-value stores and a Fantom Operations grant for smart contract toolchain development. He collaborates with international researchers on parallel computing and blockchain verification projects.