会社情報

設立日 2019年4月8日
資本金 300万円
代表 櫟 粛之
住所 〒619-0237
京都府相楽郡精華町光台 2-2-2
ATR Unicorn
電話 0774-66-5444
メール info@aoilabo.com
アクセス https://www.atr.jp/map_etc/access_j.html


代表者紹介

櫟　粛之（あららぎ　ただし）

修士(数学)：東京大学
博士(情報学)：京都大学
業績： dblp
semantic scholar

システム検証、耐故障、セキュリティなどのソフトウェアの信頼性に
かかわる分野が得意です。AIとは、1980年代の第１次ブーム以来のつきあいで、
AI全般の知識を有しています。その理論内容も把握しており、最近の便利なAIツールを
超えるAIの利用をめざしています。また、数理論理学、数論、偏微分方程式などの
分野にも興味をもっています。理論と応用の相互作用を重視しています。