Henning Basold

Researcher · Computer Science

France

About

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.

Research fields

Computer Science Logic in Computer Science Programming Languages Formal Methods Theoretical Computer Science

0Publications listed

Henning Basold

About

Find Henning Basold elsewhere

Related Searches

You Might Also Like