SQLAB
名古屋大学情報学研究科情報システム学専攻
所在地 〒464-8601 名古屋市千種区不老町 IB電子情報館南棟5F
News
Research Topics
数理的手法に基づく高品質なソフトウェアの開発を目指します．
可逆実行による振舞い解析手法を確立します．
計算と言語の構造を代数学で理解します.
