Reynald Affeldt アフェルト レナルド 阿费尔特 雷纳尔多
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, 情報処理学会プログラミング研究発表会
From 2012 until 2015, I was working in the Software Reliability Research Group in RISEC (Research Institute of Secure Systems). From 2005 until 2012, I was working in the Research Team for Software Security in RCIS (Research Center for Information Security). 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.