About

Imiron (意味論) means semantics in Japanese:

  1. A branch of computer science. In a narrow sense, it refers to the theory of meaning and interpretation of logical formulae.
  2. The practice and technology about modelling behaviour in mathematical terms with the aim of understanding its essence.

Team

Ichiro Hasuo

CSO / Founder

Prof. Ichiro Hasuo leads the theoretical foundations of our work as co-founder and Chief Scientific Officer. As Research Director of the JST ERATO MMSD (Metamathematics for Systems Design) Project at Japan's National Institute of Informatics (NII), his research bridges the gap between 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, with particular depth in system verification and programming language theory. His work has earned international recognition, including Distinguished Paper Awards at leading conferences such as CAV and CONCUR, and the Science and Technology Prize from Japan's Ministry of Education.

Prior to his current roles, Ichiro held positions at the University of Tokyo and Kyoto University. He completed his Ph.D. at Radboud University Nijmegen, establishing a truly international perspective that informs his pragmatic approach to theoretical challenges. This combination of deep theoretical understanding and practical application drives our company's innovative approach to system design and verification.

Masakazu Adachi

CEO / Founder

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

Masakazu started his career at Toyota Central R&D Labs, Inc. After working at an engineering consulting firm, he joined DENSO Corporation in 2017. Since 2020, he has been seconded to DENSO Automotive Deutschland GmbH, where he led the European R&D unit for advanced automotive software technologies. He has been responsible for various technical areas, including autonomous driving, basic software, in-vehicle/wireless communication, security and others. Ph.D., Osaka University, Japan.

James Haydon

CTO / Founder

Dr. James Haydon brings a rare combination of deep theoretical knowledge and practical engineering expertise to Imiron. With an M.Sci. from Imperial College London in Computer Science, a Ph.D. in Mathematics from the University of Oxford specializing in Algebraic Geometry and Category Theory, and experience as a senior engineer and tech lead at several prestigious companies including Europe's leading functional programming consultancy, James bridges the gap between advanced mathematics and production-ready software systems.

Prior to joining Imiron, James served as the Development Team Lead for the JST ERATO Metamathematics Project at Japan's National Institute of Informatics, where he worked alongside Prof. Ichiro Hasuo, applying formal methods to complex systems design. His expertise spans domain-specific language development, functional programming, and web systems architecture.