معرفی
Reynald Affeldt is Chief Senior Research Scientist at the National Institute of Advanced Industrial Science and Technology (AIST), Japan, and concurrently serves as Visiting Professor at the Nara Institute of Science and Technology (NAIST). His research is anchored in formal verification of software using logic, with a strong emphasis on the Coq proof assistant.
His research interests span:
- Formal verification of software
- Probabilistic programming and semantics
- Information theory and error-correcting codes
- 3D geometry for robotics
- Coq-based formalization
Affeldt leads the Infotheo project, a Coq library for reasoning about discrete probabilities, information theory, and linear error-correcting codes. His recent publications focus on equational reasoning for probabilistic programs and the formalization of monadic constructs in dependent type theory.
Scientific Contributions:
- Program committee member for POPL, CPP, APLAS, ICFP, CoqPL, TyDe
- Author of multiple peer-reviewed papers in formal methods
- Lead developer of Infotheo Coq library
Contact & Affiliations:
- Email: reynald.affeldt@aist.go.jp
- Primary affiliation: AIST, Digital Architecture Research Center
- Visiting position: NAIST
۰مقاله منتشرشده
