My research is in applied mathematics and control theory. I aim to gain insights into the dynamical systems and design the systems’ behavior through rigorous mathematical analysis. Recent research focuses on cyber-physical systems, or more specifically, networked control systems, where the communication is a key to save energy and to protect privacy and security.

Many of my research work are not part of a project. Selected works are summarized here.

Below are projects I'm in.

JST CREST CyPhAI [2021-2026]

This project aims at formal design methods for safe AI-intensive Cyber-Physical Systems (AI-CPS). In this 5-and-a-half-year project, we study how to model, test, verify, monitor, and control a cyber-physical systems in which AI plays a crucial role based on a mathematically solid foundation.

Project website

JST Q-LEAP for Quantum Information Processing [2018-2028]

The project forces on two directions: small-scale applications and architectures, and scalable software technology for quantum computation.

We investigate novel applications for quantum information processing and develop architectures to maximize the potential of such quantum information processing. The scalable software technology includes from error correction and its applications to modeling and analysis of scalable quantum information processing.

Project website

JST ERATO Metamathematics for Systems Design Project [2016-2022]

This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS) and manufacturing—automotive industry in particular.

Project website