株式会社イミロン｜事業内容・特徴・採用・求人

会社の特徴

国立研究開発法人科学技術振興機構における大学発新産業創出プログラム、JST START 起業実証支援の成果（課題名：ソフトウェア品質の論理的説明技術による、自動運転の本格普及の実現・研究代表者：蓮尾一郎（大学共同利用機関法人情報・システム研究機構国立情報学研究所（NII））をもとに「株式会社イミロン」を設立しました。

イミロンでは、自動運転や生成AIをはじめとする侵襲的新情報技術（社会のあり方を大きく変える情報技術）に対し、論理学に基づくセーフガード技術や論理的説明技術を提供。

「安全性」「信頼性」「説明責任」を飛躍的に向上させることで、社会への受け入れ方を明示化し、人間中心の安心・安全な情報化社会の実現に貢献していきます。

【開発・提供しているプロダクト】
数学的に厳密な「形式仕様」をAIと組み合わせて鍛え上げる、エンジニアリングプラットフォーム「SpecForge」を開発・提供。大規模かつ複雑化するミッションクリティカルシステムの「安全性」「信頼性」「説明責任」を飛躍的に向上させることを可能にします。

VISION

論理の力で”安全”と”なぜ”をデザインする

About /社名の由来
いみ－ろん【意味論】
1. 計算機科学 (= コンピュータの数学) の一分野。狭義には論理計算式の「意味」や「解釈」についての理論をいう。
2. ふるまいを数学のコトバでモデリングして、その本質の理解をめざす学問、および技術。

会社概要

会社名	株式会社イミロン
代表者名	CEO / 創業者　足立正和
所在地	東京都
会社URL	https://imiron.io/ja/
設立	2024年
従業員数	10人以下
ファイナンス情報	ファイナンス情報を閲覧いただくには会員登録が必要となります。

主要メンバー紹介

CEO / 創業者足立正和

詳細を見る

大阪大学卒業後、カーネギーメロン大学でのポスドクを経て、2007年豊田中央研究所に入所。
車載ソフトウェア研究の中心地である欧州への最初の赴任者に選ばれ、現地でのR&D活動の立ち上げを担当。その後、エンジニアリングコンサルを経て、2017年株式会社デンソーへ入社。

2020年からデンソードイツにて欧州R&Dチームを統括し、基盤ソフトウェア、自動運転、セキュリティ、サプライチェーンデータ管理に関する活動に従事。海外と日本、基礎研究と実応用を結ぶブリッジパーソンの役割を長く担う。

CSO / 創業者 *Chief Scientific Officer 蓮尾一郎

詳細を見る

国立情報学研究所アーキテクチャ科学研究系教授、数理的高信頼ソフトウェアシステム研究センター長、学術博士（Radboud University Nijmegen, 2008）。京都大学数理解析研究所助教、東京大学大学院情報理工学系研究科講師・准教授、国立情報学研究所准教授を経て現職。2016年10月から JST ERATO 蓮尾メタ数理システムデザインプロジェクト研究総括。専門は理論計算機科学、特にシステム検証、プログラミング言語理論における数学的構造に興味を持つ。国際会議 CONCUR 2014 最優秀論文賞、国際会議 ICECCS 2018 最優秀論文賞、国際会議 CAV 2024 Distinguished Paper Award、科学技術分野の文部科学大臣表彰科学技術賞研究部門などを受賞。

CTO / 創業者 James Haydon

詳細を見る

インペリアル・カレッジ・ロンドンでコンピュータサイエンスの理学修士号を取得し、オックスフォード大学で代数幾何学とカテゴリー理論を専攻して数学博士号を取得、さらにヨーロッパをリードする関数型プログラミングのコンサルタント企業を含む複数の名門企業でシニアエンジニアやテックリードを経験。JST ERATO 蓮尾メタ数理システムデザインプロジェクトでは開発チームリードを務め、蓮尾と共にシステム設計に形式手法を適用する研究に従事。専門分野は、ドメイン固有言語の設計、関数型プログラミング、およびWebシステムアーキテクチャなど多岐に渡る。