Richard Bubel

Richard Bubel is a Researcher in the Software Engineering group at Technische Universität Darmstadt. His work focuses on formal methods, deductive verification, and automated theorem proving with applications in software engineering and smart contract development. He has contributed to the KeY verification tool and is involved in projects like SF 4.0 and KeY's development. Bubel has participated in numerous academic committees and reviewing activities, including roles in TASE, FMSPLE, and the KeY Symposium. His research interests span formal specification, program analysis, and security, with a particular emphasis on ensuring software reliability through rigorous verification techniques.

His affiliations include:

• Technische Universität Darmstadt, Department of Computer Science
• KeY Project (main developer and coordinator)
• European research initiatives (EU FP7, COST IC0701)

Research Interests: Formal methods, deductive verification, automated theorem proving, software engineering, smart contracts, and program analysis.

Key contributions include the development of the KeY verification tool, formalization of Java strings, and work on trace-based verification. His community involvement includes organizing conferences and workshops, such as the KeY Symposium and HATS Annual Meeting.