OUR STORY

About

Imiron (意味論) means semantics in Japanese: the theory of meaning and interpretation of logical formulae, and the practice of modelling behaviour mathematically to understand its essence.

We bring formal methods and modern AI-enabled systems together to make complex technologies safer, more reliable and accountable.

Team

Research depth and hands-on engineering for dependable systems.

Masakazu Adachi

CEO / Founder

Dr. Masakazu Adachi drives Imiron’s vision with a mission to co-create shared value with partners. With extensive R&D experience in industry, he pursues the best match between formal technologies and modern learning-enabled mission-critical systems.

Masakazu began his career at Toyota Central R&D Labs, later joining DENSO Corporation, where he worked on autonomous driving, basic software, in-vehicle communications and security. He holds a Ph.D. from Osaka University.

Ichiro Hasuo

CSO / Founder · Chief Scientific Officer

Prof. Ichiro Hasuo leads the theoretical foundations of our work. As Research Director of JST ERATO MMSD at Japan’s National Institute of Informatics (NII), his research bridges rigorous mathematical frameworks and practical system design.

A professor at NII and Director of the Mathematical Reliable Software Systems Research Center, Ichiro brings two decades of expertise in theoretical computer science, system verification and programming language theory.

Safety via the power of logic.

Learn more about SpecForge, browse our news and technical blog, or see our company information.