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

kahaku
Tsukuba, July 2014

I am a senior research scientist (主任研究員) at AIST (National Institute of Advanced Industrial Science and Technology). I work in the Information Technology Research Institute.

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),
Information Technology Research Institute (ITRI),
Central 1, 1-1-1 Umezono, Tsukuba, Ibaraki, 305-8560 Japan

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

(1) The Japan Society for Industrial and Applied Mathematics, Formal Approach to Information Security, 日本応用数理学会, 「数理的技法による情報セキュリティ」研究部会
(2) IPSJ Special Interest Group on Programming, 情報処理学会プログラミング研究発表会