Staff

Zhenjiang Hu

Professor, Peking University
Professor by Special Appointment, National Institute of Informatics
Visiting Professor, SOKENDAI
Research interest: bidirectional graph transformation, program calculation, functional programming languages, parallel programming

Kato Hiroyuki

Assistant Professor, National Institute of Informatics
Research interest: optimization on DBPL, especially XQuery for XML databases, UnQL/UnCAL for graph-structured databases

Kanae Tsushima

Assistant Professor, National Institute of Informatics
Research interest: functional programming, type systems, debugging

Taro Sekiyama

Assistant Professor, National Institute of Informatics
Research interest: type systems, gradual typing, computational effects

Yumi Yamasaki
Secretary, National Institute of Informatics

PhD Students

Chunmiao Li

SOKENDAI (The Graduate University for Advanced Studies)
October 2018 ~ September 2021

Bidirectional transformation


Bach-Trong Nguyen

SOKENDAI (The Graduate University for Advanced Studies)
October 2018 ~ September 2023

Bidirectional transformation and software engineering


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

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

Applied bidirectional transformation


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

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

Dependently typed programming, datatype-generic programming, bidirectional programming, algebra of programming, functional programming.

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

Minyi Guo (24 Jan 2019 ~ 31 Jan 2019)
Professor, Shanghai Jiao Tong University

Carlo Ghezzi (14 Dec 2018 ~ 22 Dec 2018)
Professor, University of Namur

Jeremy Gibbons (14 Oct 2018 ~ 26 Oct 2018)
Professor, University of Oxford

Robert Glück
Professor, University of Copenhagen

Ferruccio Damiani (11 Jun 2018 ~ 22 Jun 2018)
Professor, University of Torino

Pierre Yves Schobbens (5 Apr 2018 ~ 11 Apr 2018)
Professor, University of Namur

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

Past Internship Students

João Carlos Mendes Pereira (18 Feb 2019 ~ 15 May 2019)
PhD student, INESC Technology and Science
Programming Technique

Lisandra Maria Pereira da Silva (18 Feb 2019 ~ 15 May 2019)
PhD student, INESC Technology and Science
Programming Technique

Wenjie Chu (18 Sep 2018 ~ 6 Mar 2019)
PhD student, Peking University
Software Engineering

Ennio Visconti (12 Oct 2018 ~ 7 Feb 2019)
PhD student, Politecnico di Milano
Programming Technique

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
Parallel computing

Diogo Fillipe Silva Vilaça (15 Mar 2018- 12 Jul 2018)
MSc Student, University of Minho
Programming Languages

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