G3: Formal Methods and Intelligence

Tokyo Site

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

Fuyuki Ishikawa. Group Sub-Leader; Associate Professor (NII)

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

Xiaoyi Zhang. Researcher; Project Researcher (NII)

Stefan Klikovits. Researcher; Project Researcher (NII)

Ezequiel Castellano. Technician; Project Technical Specialist (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

Augstin Eloy Martinez Sune. PhD Student;
University of Buenos Aires (UBA), Argentina

External

Masami Hagiya. Advisor; Professor (U Tokyo)

Naoki Kobayashi. Advisor; Professor (U Tokyo)

Daisuke Sakamoto. Advisor; Associate Professor (Hokkaido U)