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
- 2013 - 2016 Formalization on Modern Coding Theory
- 2012 - 2016 Model and formal verification of the C language for secure construction of embedded software
- 2009 - 2011 Formal Proofs of Realistic Programs using Separation Logic
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
Return to Previous Page