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