Rchr
J-GLOBAL ID:200901098816150289
Update date: Sep. 02, 2024
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 (45):
-
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, Cyril Cohen. Measure Construction by Extension in Dependent Type Theory with Application to Integration. Journal of Automated Reasoning. 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
-
Ayumu Saito, Reynald Affeldt. Towards a Practical Library for Monadic Equational Reasoning in Coq. Lecture Notes in Computer Science. 2022. 13544. 151-177
-
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa. A trustful monad for axiomatic reasoning with probability and nondeterminism. Journal of Functional Programming. 2021. 31. E17
more...
MISC (1):
-
AFFELDT Reynald. ふご[ζ×]う : 符号理論∈数学∩工学(第10回)形式的な符号理論に向けて. 数学セミナー. 2013. 52. 4. 74-79
Return to Previous Page