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

ｍore...

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