J-GLOBAL ID:200901098816150289   Update date: Apr. 17, 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
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
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