Reynald Affeldt   アフェルト レナルド   阿费尔特 雷纳尔多

Hsin Chu, 08/2006

I am a research scientist at AIST (National Institute of Advanced Industrial Science and Technology). I work in the Research Team for Software Security in RCIS (Research Center for Information Security).

I can be reached by electronic-mail at reynald dot affeldt at aist dot go dot jp and by paper-mail at:
National Institute of Advanced Industrial Science and Technology (AIST),
Research Center for Information Security (RCIS), Akihabara-daibiru 10th floor, Room 1003
1-18-13 Sotokanda, Chiyoda-ku, Tokyo, 101-0021 Japan

I am mainly interested in formal verification of computer software using logic, and in particular the Coq proof-assistant.

• Publications
• Seplog in Coq
• Rigid resolution
• Coq Café
• Applpi

I am a former student of the Yonezawa Laboratory (University of Tokyo, Graduate School of Information Science and Engineering, Department of Computer Science, Yonezawa Laboratory, Building 7, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-0033 Japan) where I had the luck to work with Akinori Yonezawa, Naoki Kobayashi, Hidehiko Masuhara, and Eijiro Sumii. Old links: TYPES Summer School '02 memo, Attic .