Rchr
J-GLOBAL ID:200901098816150289   Update date: Jul. 01, 2025

Affeldt Reynald

アフェルト レナルド | Affeldt Reynald
Affiliation and department:
Job title: Chief senior research scientist
Homepage URL  (1): https://staff.aist.go.jp/reynald.affeldt/
Research field  (1): Software
Research theme for competitive and other funds  (8):
  • 2022 - 2026 Formal Foundations for Verification of Physical and Probabilistic Systems
  • 2022 - 2025 Validating the type soundness of a programming language through translation into a logical system
  • 2018 - 2021 Formal verification of probabilistic graphical models and its application to artificial intelligence
  • 2015 - 2018 Towards formal verification of big data processing
  • 2015 - 2018 A Development Process of Control Software for Safe Cooperative Robots
Show all
Papers (50):
  • Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa. A practical formalization of monadic equational reasoning in dependent-type theory. Journal of Functional Programming. 2025
  • Yoshihiro ISHIGURO, Reynald AFFELDT. The Radon-Nikodým Theorem and the Lebesgue-Stieltjes Measure in Coq. Computer Software. 2024. 41. 2. 41-59
  • Reynald Affeldt, Clark W. Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schürmann. Robust Mean Estimation by All Means (Short Paper). 15th International Conference on Interactive Theorem Proving(ITP). 2024. 39-8
  • Reynald Affeldt, Zachary Stone. A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq. 15th International Conference on Interactive Theorem Proving(ITP). 2024. 5-19
  • Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark. Taming Differentiable Logics with Coq Formalisation. 15th International Conference on Interactive Theorem Proving(ITP). 2024. 4-19
more...
MISC (1):
  • AFFELDT Reynald. ふご[ζ×]う : 符号理論∈数学∩工学(第10回)形式的な符号理論に向けて. 数学セミナー. 2013. 52. 4. 74-79
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page