Get in touch

This page is the best starting point for collaboration inquiries, invited talks, seminar requests, and general academic contact.

Graduate School of Informatics, Nagoya University

Room 491, 4F IB South Building, Nagoya University

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

+81-52-789-4597

Contact guidance by purpose

We welcome contact from anyone interested in embedded systems, operating systems (OS), real-time computing, system security, or Systems of Systems (SoS โ€” arrangements in which multiple independent systems cooperate to achieve an emergent purpose). Our work spans foundational topics โ€” OS design, scheduling theory, and system-level verification โ€” as well as applications in mobility, healthcare, and social infrastructure.