〒923-1292 石川県能美市旭台1-1 (情報科学系II棟 6F I-64a室)
電話: 0761-51-1260
メンバー
教員
学生
- 中釜 雄太郎 (D2, 東京サテライト)
- NGO, Tien Duc (M2)
OB
研究内容
研究分野，キーワード
- ソフトウェア工学・科学 (形式手法，モデル検査，プログラム検証)．
- 制約プログラミング (SAT/SMTソルバー, 数値制約)．
- プログラミング言語 (論理プログラミング，関数プログラミング)．
- サイバーフィジカルシステム，連続離散ハイブリッドシステム．
- 上記のロボット，車載システム，機械学習システムへの応用．