ようこそ計算機ソフトウェア研究室へ

金沢大学大学院
理工学域 電子情報科学専攻
計算機ソフトウェア研究室(2C520)

本研究室では、
コンピュータ科学及びコンピュータソフトウェアの基盤技術に関して、

組み込みシステムの時相論理によるモデル検査 及び、
クラウドコンピュータのランタイムな解析と検証、
オブジェクト指向プログラムのデバッガの開発

などの研究をおこなっております。
より良いソフトウェアの実現をめざし、さまざまな分野を研究対象としています。