佐藤 直人
佐藤 直人は
2026年未踏ターゲット
に採択された。
分野：量子コンピューティング技術を活用したソフトウェア開発分野
テーマ：高信頼量子通信のための形式検証ツールの開発
PM：
藤井 啓祐
区分：ゲート式量子コンピュータ向けソフトウェア開発
応募部門：ベーシック部門
応募枠：通常枠
同PJ採択者：
名越 龍一
髙木 翼
2026年度未踏ターゲット事業(量子コンピューティング技術を活用したソフトウェア開発分野)採択プロジェクト概要（佐藤・名越・髙木PJ） | デジタル人材の育成 | IPA 独立行政法人 情報処理推進機構
経歴
StarWorks合同会社/北陸先端科学技術大学院大学（2026年採択時点）