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

Postdoc researcher
dependently typed programming, datatype-generic programming, and program calculation

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

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

Putback-based bidirectional transformation


Internship Students

Chunmiao Li (26 Mar 2017 ~ 14 Sep 2017)

Shanghai Jiao Tong University, China, 6 month

Bidirectional transformations


Zhanpeng Liang (31 Jan 2017 ~ 27 Jun 2017)

University of Southern California, USA

Program synthesis


Collaborators

Assistant professor
Kyushu Institute of Technology


Lecturer
Graduate School of Arts and Sciences,
University of Tokyo


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


Visiting Professors

Associate Professor
Computer Science Department, National University of Singapore.

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

Professor
Department of Advanced Information Technology, Kyushu University

Current Visitors

Professor
Department of Computer Science, University of Oxford

Associate Professor
Department of Computer Science, University of Copenhagen

Professor
New Jersey Institute of Technology

Associate Research Fellow
Institute of Information Science, Academia Sinica

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

Xiao He (12 Feb 2017 ~ 19 Feb 2017)
Assistant Professor, University of Science and Technology Beijing

Zhi Jin (3 Oct 2016 ~ 10 Oct 2016)
Professor, Peking University

Haiyan Zhao (25 Sep 2016 ~ 8 Oct 2016)
Associate Professor, Peking University

Meng Wang (16 Aug 2016 ~ 24 Aug 2016)
Lecturer, University of Kent

Nobuko Yoshida (13 Jul 2016 ~ 10 Aug 2016)
Professor, Imperial College London

Jin Song Dong (16 Mar 2016 ~ 21 Mar 2016)
Associate Professor, National University of Singapore

Yijun Yu (13 Mar 2016 ~ 25 Mar 2016)
Senior Lecturer, Open university

Miguel Wermelinger (13 Mar 2016 ~ 25 Mar 2016)
Senior Lecturer, Open University

Jianjun Zhao (1 Feb 2016 ~ 17 Feb 2016 )
Professor, Shanghai Jiao Tong University

Past Internship Students

Smith Dhumbumroong (25 Sep 2016 ~ 24 Mar 2017)
PhD student, Chulalongkorn University, Thailand

Zhixuan Yang (01 Jul 2016 ~ 26 Aug 2016)
Undergraduate student, Peking University

Chuanhao Ma (01 Jul 2016 ~ 25 Aug 2016)
Undergraduate, Shanghai Jiaotong University

Weize Zhao (11 Jan 2016 ~ 10 May 2016)
Master Student, Peking University

Li Liu (13 Sep 2015 ~ 10 Mar 2016)
Master Student, Shanghai Jiao Tong University

Ezgi Çiçek (12th Sep 2015 ~ 24th Dec 2015)
PhD Student, MPI-SWS (Max Planck Institute for Software Systems) and Saarland University

Kevin Colson (17 Sep 2015 ~ 25 Dec 2015)
Master Student, University of Namur

Robin Dupuis (17 Sep 2015 ~ 25 Dec 2015)
Master Student, University of Namur