This page provides an overview of our group.
Our group virtually consists of researchers and students to the following univerties/institute.
- Researchers at National Institute of Informatics (NII)
- Graduate Students at The University of Tokyo
- Working PhD Students at The University of Electro-Communications
- Internship students from various universities abroad (primarily from Europe)
We also have intensitve activities in the ERATO MMSD Project, which includes various research groups.
This is a scheme by NII only for its partner universities and institutes. The detailed information of the call for intern students can be found on the NII web site and in the partner universities.
The current call includes the following topics in my group:
- Testing and Quality Analysis of Machihne Learning Systems
- Investigates how to test and evaluate emerging systems that use machine learning by extending testing methods for software systems and also extending the classical notion of accuracy.
- Intelligent Automated Testing for Cyber-Physical Systems
- Investigates how to test complex cyber-physical systesms such as automotive control models in Simulink and path planners in autonomous driving.
- Refinement-based Modeling and Verification of Smart Cyber-Physical Systems
- Investigates how to model and verify smart cyber-physical systems, such as autonomous driving systems including image recognition function by deep learning, by decomposing the verification tasks.
This call is part of an internship program by NII (National Institute of Informatics, Japan). Calls are basically made twice a year by NII. First please check the general information by NII
Intern students are expected to learn further knowledge and skills through collaborative activities for promoting our research activities and/or exploring further research topic. Depending on the status of the intern students (e.g., already have active master/phd topics or not), actual work in the internship can be determined flexibly through discussion. The outputs are typically joint papers and/or implemented software, but depend on the topic and the duration of the internship.
Specifically, the following two directions exist to determine the work at the internship.
- Option 1: Investigating Your Own Research with Different People and Environment
Intern students may bring their own studies to exchange knowledge and ideas of each other to explore further research directions (often in the case of PhD students).
- Option 2: Joining Our Project
Intern students may choose tasks in existing activities, typically software development tasks (often in the case of master students). We have a variety of tasks, from mathematical and theoretical methods to middleware and GUI tools. It can be a development-oriented project (focusing more on completeness and usability) or a research-oriented project (focusing also on essential novelty and scientific reliability).
You can check research introduction and record including the publications. However, the information is often not the latest and it should be much easier to just ask me and discuss together, clarifying your interest and expertise.
In addition to interactions with the supervisor himself, intern students will join various activities in related research groups. The Honiden-Lab involves several professors/researchers and many students working on wide range of research topics. The GRACE Center involves more wide range of professors as well as resources and services, including a configurable private cloud and a programmable lecture room. We also have intensitve activities in the ERATO MMSD Project, which includes various research groups.
- Paolo Arcaini
- Xiao-Yi Zhang
- Stefan Klikovits
- Hironobu Kuruma
- Hiroshi Kuwajima
- Susumu Tokumoto
Industrial PhD Students at UEC
- Ryota Kamoshida
- Masumi Kawakami
- Kazuya Hasegawa
- Hideki Nakamura
- Hirofumi Tsujimura
- Prof. Alexander Romanovsky (Newcastle University, UK)
- Prof. Amal El Fallah Seghrouchni (Paris 6 University, France)
- Prof. Jeff Kramer (Imperial College London, UK)
- Prof. Sebastian Uchitel (University of Buenos Aires, Argentina)
- Assist. Prof. Soo Ling Lim (University College London, UK)
Hitachi, Felica Networks, Mitsubishi Electric, etc.
- Newcastle University, UK
- University College London, UK
- Université Pierre et Marie Curie, France
- Institut National Polytechnique de Toulouse, France
- and many others
- Yuta Maezawa (Project Assist. Prof.)
- Yuya Okadome (Collaborative Researcher)
- Masateru Kawaguchi (Collaborative Researcher)
- Feng Chen (Researcher)
- Takeo Imai (Researcher)
- Tsutomu Kobayashi (Researcher)
- Quanwang Wu (Researcher)
- Dong Hoon Shin (Researcher)
- Yishui Zhu (Researcher)
- Fang Ling (Researcher)
- Naoto Sato (Industrial PhD Student at UEC)
- Takuo Doi (Industrial PhD Student at UEC)
- Masayuki Nii (Industrial PhD Student at UEC)
- Atsushi Maeoka (Industrial PhD Student at UEC)
- Koki Kato (Master Student at UTokyo)
- Shinnosuke Saruwatari (Master Student at UTokyo)
- Daichi Morita (Master Student at UTokyo)
- Soran Nakamura (Master Student at UEC)
- Takuto Komori (Master Student at UEC)
Advisors at Groups in Collaboration (Univ. of Tokyo, Waseda Univ, JAIST): More than 20 people
Intern Students from Overseas: More than 30 people