寺内研究室

正在显示日语原文 · 查看译文

プログラムの正しさを自動で確かめる、プログラム検証の研究室。

程序验证程序合成形式验证

About关于研究室

バグのないソフトウェアを目指す。

寺内研究室は、プログラミング言語分野を研究しています。
プログラムが仕様通りに動くかを自動で確かめる「プログラム検証」と、仕様から正しいプログラムを自動でつくる「プログラム合成」を中心に研究しています。
これらの技術を、情報漏洩やタイミング攻撃といったセキュリティの問題に応用する研究も行っています。
型システムや数理論理学、形式言語理論など、これらを支える基礎理論の研究にも取り組んでいます。