Christoph Hochrainer

Christoph Hochrainer is a PreDoc Researcher at Technische Universität Wien, affiliated with the Software Engineering department. His academic role involves research in software systems and formal methods, supported by projects like ForSmart (2023–2027) and MirandaTesting (2023–2028). He completed his Diploma in automated reasoning at TU Wien in 2020.

His research spans software engineering, cryptography, and programming languages, with specialized interests in fuzzing techniques, architecture description languages, and smart contract security. Recent work emphasizes zero-knowledge circuits, Solidity benchmarking, and macro systems for domain-specific tooling.

Christoph's publications consistently explore automated testing and formal verification, with a trend toward practical applications in blockchain and secure software pipelines. He supervises student theses, including work on inconsistency detection in Solidity smart contracts.

He contributes to collaborative projects focused on formal methods and software reliability, operating within TU Wien's research units. No scientific awards are documented.