Henning Basold

Henning Basold is affiliated with ENS Lyon, where he contributes as a Researcher. His work centers on theoretical computer science, particularly coinductive logic and corecursive proof search in programming languages and formal methods.

In 2019, he authored two pivotal publications at ETAPS 2019 conferences:

• Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses (ESOP 2019)
• Coinduction in Uniform: what's next? (HCVS 2019)

These works explore coinductive techniques, Horn clauses, and future directions in formal verification and proof theory.