G3: Formal Methods and Intelligence

Tokyo Site

Fuyuki Ishikawa. Group Leader; Associate Professor (NII)

Paolo Arcaini. Group Sub-Leader; Researcher; Project Associate Professor (NII)

Tsutomu Kobayashi. Co-Investigator; ACT-I Researcher (JST/NII)

Xiaoyi Zhang. Researcher; Project Researcher (NII)

Zhenya Zhang. Research Assistant; PhD Student (SOKENDAI/NII) & JSPS Research Fellow DC

Masaki Waga. Research Assistant; PhD Student (SOKENDAI/NII) & JSPS Research Fellow DC

Stefan Klikovits. Visiting Researcher; Postdoctoral Researcher (University of Geneva)

Henri Trenquier.  Internship Student; PhD Student (INP Toulouse-ENSEEIHT)

Kun Liu. Internship Student;  PhD Student ( Peking University)

External

Masami Hagiya. Advisor; Professor (U Tokyo)

Naoki Kobayashi. Advisor; Professor (U Tokyo)

Daisuke Sakamoto. Advisor; Associate Professor (Hokkaido U)