Reynald Affeldt

Reynald Affeldt is a Chief Senior Research Scientist at AIST (National Institute of Advanced Industrial Science and Technology, Japan) and a Visiting Professor at NAIST (Nara Institute of Science and Technology). His work focuses on formal verification of software using logic and the Coq proof-assistant, with notable contributions to monadic equational reasoning, probabilistic programming, and robotics applications.

His research spans multiple domains, including

• Monadic effects and equational reasoning
• Probabilistic and nondeterministic programming
• Information theory and error-correcting codes
• 3D geometry for robotics

Recent publications highlight his efforts in extending monadic reasoning with transformers and formalizing probabilistic semantics in Coq.

He has contributed to various conferences, notably as a committee member for CPP and TyDe tracks, and as a program chair for APLAS-related events. His work includes applications to OCaml, imperative language semantics, and algorithm verification (e.g., n-queens, quicksort).