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 or in the partner universities.
The current call includes the following topics in my group:
- Testing and Quality Analysis of Machihne Learning Systems
- Investigates how testing methods for software systems, such as search-based testing and mutation analysis, can be extended and applied to emerging systems that uses machine learning.
- Intelligent Automated Testing for Cyber-Physical Systems
- Investigates how testing methods for software systems, such as search-based testing and mutation analysis, can be extended and applied to complex cyber-physical systesms that contain physical aspects with continous dynamics, e.g, in Simulink models.
- Incremental Development and Evolution for Refinement-based System Models
- Investigates how to support flexible changes of models in the Event-B method, which uses theorem proving and refinement to construct verified models of complex systems.
- Runtime Validation and Configuration of Smart Space Systems
- Investigates how to support self-adaptation mechansims to event-driven behavior of Internet-of-Things applications.
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
- Yuta Maezawa
- Takeo Imai
- Xiao-Yi Zhang
- Feng Chen
- Yuya Okadome
- Masateru Kawaguchi
- 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
- Tsutomu Kobayashi (Researcher)
- Quanwang Wu (Researcher)
- Dong Hoon Shin (Researcher)
- Yishui Zhu (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