[English Version]

寺内 多智弘

photo

教授
早稲田大学 理工学術院 基幹理工学部 情報理工学科
03-5286-3198 (内線 73-3805)
terauchi AT waseda DOT jp
[Researchmap.jp, 早稲田大学研究者データベース]

略歴

プログラミング言語分野の研究を行っています。特に、プログラムの正しさを正式かつ(できるだけ)自動的に検証する「プログラム検証」や正しいプログラムを自動生成する「プログラム合成」の研究、およびプログラム検証・合成技術のセキュリティへの応用に興味があります。加えて、型システム、数理論理学と(特に自動)定理証明、形式言語理論とオートマトン理論など基礎理論・基礎アルゴリズムに関する研究も行っています。

講義

研究室紹介

学会活動等

Show more
Show less

学生指導

過去に研究室に在籍していた学生

論文 [Google Scholar, Semantic Scholar, DBLP]