G3: Formal Methods and Intelligence

Tokyo Site

Fuyuki Ishikawa. Group Leader; Associate Professor (NII)

Paolo Arcaini. Researcher; Project Associate Professor (NII)

Takeo Imai. Researcher; Project Researcher (NII)

Xiaoyi Zhang. Researcher; Project Researcher (NII)

Tsutomu Kobayashi. Co-Investigator; ACT-I Researcher (JST/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

Alexis Soifer. Internship Student; PhD Student (Buenos Aires University)

Thomas Laurent.  Internship Student; PhD Student (University College Dublin)

Elayne Ruane.  Internship Student; PhD Student (University College Dublin)

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

Ivan Arcuschin Moreno.  Internship Student;  MSc Student (Buenos Aires University)

External

Masami Hagiya. Advisor; Professor (U Tokyo)

Naoki Kobayashi. Advisor; Professor (U Tokyo)

Daisuke Sakamoto. Advisor; Associate Professor (Hokkaido U)