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 (49)：

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. Taming Differentiable Logics with Coq Formalisation. ArXiv. 2024
Reynald Affeldt. A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq. ArXiv. 2024
Reynald Affeldt. Measure Construction by Extension in Dependent Type Theory with Application to Integration. ArXiv. 2023. 67. 3. 28:1-28:27
Reynald Affeldt, Cyril Cohen, Ayumu Saito. Semantics of Probabilistic Programs using s-Finite Kernels in Coq. Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. 2023. 3-16

ｍ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