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

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
Reynald Affeldt, David Nowak. Extending Equational Monadic Reasoning with Monad Transformers. 26th International Conference on Types for Proofs and Programs (TYPES 2020), Leibniz International Proceedings in Informatics. 2021. 188. 2:1-2:21

ｍ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