Reynald Affeldt

Reynald Affeldt is a Chief Senior Research Scientist at the National Institute of Advanced Industrial Science and Technology (AIST), Digital Architecture Research Center, and a Visiting Professor at the Nara Institute of Science and Technology (NAIST).

His research focuses on formal verification of software using logic, particularly the Coq proof-assistant. Key projects include Analysis for MathComp, Monadic Equational Reasoning, Information Theory and Error-correcting codes, and 3D Geometry and Robotics.

Previous AIST affiliations include:

• Software Quality Assurance Research Team (Cyber Physical Security Research Center)
• Cyber Physical Architecture Research Group (ITRI)
• Collaboration Promotion and International Affairs Division
• Software Reliability Research Group (RISEC)
• Research Team for Software Security (RCIS)

He was a doctoral student at the University of Tokyo's Yonezawa Laboratory (2001–2011).