SQLAB

名古屋大学情報学研究科情報システム学専攻

結縁・中澤研究室

所在地 〒464-8601 名古屋市千種区不老町 IB電子情報館南棟5F

研究データとネットワークを表す抽象ビジュアル

News

お知らせ

Research Topics

研究テーマ

プログラム解析・プログラム検証

数理的手法に基づく高品質なソフトウェアの開発を目指します.

詳しく見る

可逆並行プログラミング

可逆実行による振舞い解析手法を確立します.

詳しく見る

代数的形式言語理論

計算と言語の構造を代数学で理解します.

詳しく見る