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. Lionel Montrieux

Postdoc Researcher
Adaptive access control, bidirectional transformations, model-driven engineering

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)

Students

Tao Zan

PhD Student (5th year of 5-year PhD Course)
Putback-based Bidirectional Transformation

Zirun Zhu

PhD Student (2nd year of 5-year PhD Course)
Putback-based Bidirectional Transformation


Yongzhe Zhang

PhD Student (1st year of 5-year PhD Course)


Weize Zhao
Intern Student
Peking University, China. (4 months)

Visiting Professors

Associate Professor
Computer Science Department, National University of Singapore.

Professor
Department of Computer Science, University of Oxford. Since 2011.

Professor
Faculty of Computer and Information Sciences, Hosei University. Since 2016.

Professor
School of Electronics Engineering and Computer Science, Peking Univeristy. Since 2015.

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

Professor
School of Software, Shanghai Jiao Tong University. Since 2011.

Collaborators

Lecturer
Graduate School of Arts and Sciences,
University of Tokyo

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

Assistant Professor
Kyushu Institute of Technology

Alumni

Research: Parallel programming using MapReduce.
Current affiliation: IBM

Research: Parallel algorithms using GPUs.
Current affiliation: Assistant Professor, Tohoku University

Research: High level parallel programming, MapReduce
Current affiliation: Technology Specialist, Works Applications Co.,Ltd

Research: Bidirectional transformation

Past postdoc researchers

Research: Parallel computing, programming language, software engineering, big data and information security
Current affiliation: Senior Research Engineer, Huawei 2012 Labs (France / Algorithms)

Research: Bidirectional programming language
Current affiliation: Postdoc, Department of Computer Science, Cornell University

Research: Computation and logic
Current affiliation: Postdoc researcher, The University of Tokyo

Research: functional and functional-logic programming languages
Current affiliation: Guest researcher, Christian-Albrechts-University of Kiel

Research: Programming language
Current affiliation: Software Engineer, Google

Past visitors

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

Zhi Jin (1 Feb 2016 ~ 5 Feb 2016 )
Professor, Peking University

Jeremy Gibbons (31 Jan 2016 ~ 11 Feb 2016)
Professor, Oxford University

Haiyan Zhao (18 Jan 2016 ~ 30 Jan 2016)
Associate Professor, Peking University

Past intern students

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

Jorge Cunha (21 Sep 2015 ~ 19 Dec 2015)
PhD Student, INESE Technology and Science