Trustworthy Intelligent System Design Laboratory

About Laboratory

Our research agenda spans from developing intelligent systems to designing and implementing measures to ensure societal acceptance of systems.

Develop intelligent systems

As the complexity of information processing tasks increases, the criteria for evaluation become more varied. For basic arithmetic operations, evaluation is based solely on whether the answer is correct or incorrect. However, when it comes to tasks involving future predictions, while performance can be evaluated probabilistically – such as by accuracy rates – based on past data, it remains unverifiable whether that accuracy rate can be sustained with future inputs until the future arrives. Therefore, intelligent systems may sometimes be difficult to evaluate.

In the field of AI, researchers are working on enhancing the explainability and interpretability of results. Generative AI tasks, which have gained significant attention in recent years, are evaluated based on validity rather than on correct answer rates because there is no single correct answer. When developing new intelligent systems, evaluation criteria should be established concurrently.

Design a framework in which the system is trusted

For a system to be trusted, it must undergo various performance and property verifications. It encompasses the concepts of durability, availability, fault-tolerant, error-tolerant, correctness, reliability, dependability, explainability, responsibility, traceability, dependability, explainability, responsibility, traceability, consistency, integrity, confidentiality, social acceptability, feasibility, possibilities, verifiability, validity, and so on. By properly evaluating these factors and disclosing the results, the system can earn society’s trust.

It is important to ensure that evaluation results are communicated in a way that is understandable to many people. Valid arguments should not be overshadowed by unproven falsehoods. When designing an advanced intelligent system, it is crucial to ensure it can be verified by anyone at any time.

A chiral aperiodic monotile as a motif

The background image is inspired by the shape “Spectres,” discovered by David Smith et al. Spectres are shapes that can fill a plane with only one type of shape, and only in aperiodic fills. It expresses our intention to address a wide variety of issues without resorting to simple repetition.

Members

We open the lab session on Monday evening in the 2026 academic year.


Doctoral students

Motoki Ogata

Baasanjav Uranzaya

Atsuko Utsumi

Hideki Muto

Liu Fan

Feng Xuan Qi

Tetsuya Shiba


Master’s course students starting before September 2024

Kim Eunmi

Siregar Josua Aldivio

Makiko Nakajima


Master’s course students starting in April 2025

Sora Ominato

Miyuto Kitamura

Jin Linqi

Towa Sakurai

Momoko Honda


Master’s course students starting in September 2025

Kosuke Takatsu

Yanjie Lu


Alumni, Researchers

Yan Ningxin

Shotaro Tanigawa

Tsubasa Kinoshita

Shoji Harata

Yu Hyunmin

Shin Soonnam

Li Jinxuan

Yasuhiro Hayashi