Building computer systems that remain safe, dependable, and useful in the real world

I study how embedded systems, mobility platforms, IoT, and larger connected services can be designed, tested, and operated so that people can use them with confidence.

This site summarizes the research goals, major themes, publications, software, and academic activities behind that work.

Embedded platforms, IoT devices, mobility and connected services
Software-defined vehicles, fuzzing, and System of Systems resilience
Connect design-time assurance with explanation and improvement in operation
SDV orchestration, IoT access control, MaaS resilience

Recent papers cover mixed-criticality services in software-defined vehicles, privacy-aware IoT access control, and resilience engineering for Mobility-as-a-Service.

Comprehensive dependability, embedded security, and Society 5.0 governance

Recent invited talks and articles have focused on automotive dependability, risk management, embedded security, and governance for large socio-technical services.

Think across design, testing, assurance, and operation

The work does not stop at design-time verification. It also studies how systems can be explained, updated, and kept dependable after deployment.

Research themes shown as three connected pillars

Read more
01 Reliable embedded and cyber-physical systems

Reliable embedded and cyber-physical systems

I study software platforms, real-time scheduling, and resource interference analysis for mixed-criticality systems in automotive, aerospace, and industrial applications, ensuring predictable and safe behavior.

02 IoT, blockchain, and security

IoT, blockchain, and security

I work on access control, vulnerability detection through fuzzing (automated large-scale test input generation), and blockchain-based lifecycle management for connected devices and services.

03 Resilient mobility and connected services

Resilient mobility and connected services

I study how large-scale Systems of Systems — such as MaaS and smart infrastructure — can maintain safety, security, and resilience as they evolve and adapt over time.

What students can grow into through this group

Learn embedded systems from hardware-near software to OS, middleware, and applications

Students develop a full-stack view of embedded systems by connecting implementation and evaluation across hardware-near software, RTOS and OS design, middleware, and application-level behavior.

Explore future information systems by combining IoT with Web3 and theory-driven approaches

The group studies IoT together with Web3, game theory, contract theory, and control theory, opening room for students to shape new system architectures and service models.

Build initiative through joint research tied to real-world problems

By joining collaborative projects with industry and other researchers, students gain experience in framing problems, communicating with stakeholders, and moving research forward on their own.

Representative work first, full database after

View all categories

Teaching and student-facing activities

  • Fundamentals of Computer Architecture 1 and 2 — How processors, memory, and I/O work together to form a computing system
  • Project-Based Learning 2 and 3 — Team-based projects where students design, build, and evaluate embedded or IoT systems
  • Topics in Information Security 1 and 2 — Threat modeling, vulnerability analysis, and security assurance for embedded and networked systems

Career overview

  • 1982: Born in Shizuoka, Japan
  • 2002: Graduated from National Institute of Technology, Numazu College (Control and Information Engineering)
  • 2004: B.E., Department of Information Engineering, Nagoya University
  • 2006: M.I.S., Graduate School of Information Science, Nagoya University
  • 2009: Researcher, Center for Embedded Computing Systems, Nagoya University
  • 2011: Ph.D. in Information Science, Nagoya University

Contact and inquiry details

Contact page

Room 491, 4F IB South Building, Nagoya University

C3-1(631), Furo-cho, Chikusa-ku, Nagoya, Aichi 464-8603 Japan

+81-52-789-4597