Reynald Affeldt's Homepage

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

kahaku
Tsukuba, July 2014

I am a senior research scientist (主任研究員) at AIST (National Institute of Advanced Industrial Science and Technology) (overview of AIST in 2017). 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, 情報処理学会プログラミング研究発表会

Previous affiliations in AIST:

I am a former student of the Yonezawa Laboratory (University of Tokyo, Graduate School of Information Science and Engineering, Department of Computer Science, 2001-2011---Graduate School of Science, Department of Information Science, until 2001) where I had the luck to work with Akinori Yonezawa, Naoki Kobayashi, Hidehiko Masuhara, and Eijiro Sumii.

TYPES Summer School '02 memo (including the scanned version of Per Martin-Löf's presentation).