Imiron Co., Ltd. has been launched.

Based on the results of the JST START Start-up Demonstration Support (Subject name: Realisation of full-scale dissemination of automated driving through logical explanation technology for software quality; Principal investigator: Ichiro Hasuo, National Institute of Informatics (NII)), Imiron Co., Ltd. was established. By providing formal logic based safeguarding and logical explanation technologies for advanced information technologies, including automated driving and generative AI, that will significantly change the nature of society, we will accelerate the social acceptance of such system and contribute to the realisation of a human-centred, safe and secure information society.