Staff

Prof. Zhenjiang Hu

Professor
Bidirectional graph transformation, program calculation, functional programming language and parallel programming

Prof. Kato Hiroyuki

Assistant Professor
Optimization on DBPL, especially XQuery for XML databases, and UnQL/UnCAL for graph-structured databases

Prof. Kanae Tsushima

Assistant Professor
Functional programming, type systems, and debugging

Dr. Hsiang-Shang Ko

Assistant Professor by Special Appointment
Dependently typed programming, datatype-generic programming, bidirectional programming, algebra of programming, functional programming

Yoshiko Asano
Secretary
Information Systems Architecture Research Division
National Institute of Informatics (NII)

Shigeko Nagamatsu
Secretary
Information Systems Architecture Research Division
National Institute of Informatics (NII)

PhD Students

Liye Guo

SOKENDAI (The Graduate University for Advanced Studies)
April 2018 ~ March 2023

Programming Langauges


Jumpei Tanaka

SOKENDAI (The Graduate University for Advanced Studies)
April 2018 - March 2021

Bidirectional transformation


Van-Dang Tran

SOKENDAI (The Graduate University for Advanced Studies)
October 2017 ~ September 2022

Data Processing


Zhixuan Yang

SOKENDAI (The Graduate University for Advanced Studies)
October 2017-September 2022

Bidirectional transformation


Yongzhe Zhang

SOKENDAI (The Graduate University for Advanced Studies)
October 2015 ~ September 2020

Parallel programming


Zirun Zhu

SOKENDAI (The Graduate University for Advanced Studies)
October 2014 ~ September 2019

Bidirectional transformation


Internship Students

Long Hoagn Huynh (14 Mar 2018 ~ 30 Aug 2018)

PhD student, Hanoi University of Science and Technology

Software Engineering


José Nuno Castro de Macedo (15 Mar 2018- 12 Jul 2018)

MSc Student, University of Minho

Programming Languages


Diogo Fillipe Silva Vilaça (15 Mar 2018- 12 Jul 2018)

MSc Student, University of Minho

Model Testing and Bidirectional Transformations


Collaborators

Associate Professor
Center for Frontier Science and Engineering,
The University of Electro-Communications


Emeritus Professor
The University of Tokyo


Visiting Professors

Professor
Department of Electronics and Information, Politecnico di Milano

Professor
Department of Computer Science, University of Oxford

Associate Professor
Department of Computer Science, University of Copenhagen

Professor
Faculty of Computer and Information Sciences, Hosei University

Associate Professor
Graduate School of Information Science and Technology, Osaka University

Professor
School of Electronics Engineering and Computer Science, Peking Univeristy

Professor
Graduate School of Information Science and Technology, Osaka University

Associate Professor
School of Electronics Engineering and Computer Science, Peking Univeristy

Alumni

Putback-based Bidirectional Transformation

Parallel programming using MapReduce

Parallel algorithms using GPUs

High level parallel programming, MapReduce

Bidirectional transformation

Past Post Doctoral Researchers

Adaptive access control, bidirectional transformations, model-driven engineering.

Parallel computing, programming language, software engineering, big data and information security

Bidirectional programming language

functional and functional-logic programming languages

Past Visitors

Jeremy Gibbons (22 Feb 2018 ~ 13 Mar 2018)
Professor, University of Oxford

Minyi Guo (28 Jan 2018 ~ 2 Feb 2018)
Professor, Shanghai Jiao Tong University

José Nuno Oliveira (22 Jan 2018 ~ 26 Jan 2018)
Professor, University of Minho

Jin Song Dong (20 Dec 2017 ~ 21 Dec 2017)
Professor, Griffith University

Zhi Jin (16 Dec 2017 ~ 20 Dec 2017)
Professor, Peking University

Carlo Ghezzi (12 Dec 2017 ~ 20 Dec 2017)
Professor, Politecnico di Milano

Chiristos Tsigkanos (12 Dec 2017 ~ 20 Dec 2017)
Postdoctoral researcher, Politecnico di Milano

Past Internship Students

Timothy Zakian (14 Jan 2018 ~ 13 Apr 2018)
PhD Student, University of Oxford
Parallel computing

Ludovic Capelli (17 Oct 2017 ~ 12 Apr 2018)
PhD Student, University of Edinburgh
Parallel computing

Nianyu Li (20 Sep 2017 ~ 13 Mar 2018)
PhD Student, Peking University
Bidirectional transformations

Jérémy Duchesne (11 Sep 2017 ~ 26 Jan 2018)
Master student, University of Namur
Bidirectional transformations

Adrien Duchêne (11 Sep 2017 ~ 26 Jan 2018)
Master student, University of Namur
Bidirectional transformations

Quentin Lombat (11 Sep 2017 ~ 26 Jan 2018)
Master student, University of Namur
Bidirectional transformations

Hugues Marchal (11 Sep 2017 ~ 26 Jan 2018)
Master student, University of Namur
Bidirectional transformations