〒923-1292 石川県能美市旭台1-1 (情報科学系II棟 6F I-64a室)
電話: 0761-51-1260
メンバー
教員
- 石井 大輔 (准教授)
研究員
- SHANG, Yuxiang (特任助教)
学生
- 中釜 雄太郎 (D3, 東京サテライト)
- 瀬川 秀一 (D3, 東京サテライト)
- EZENWOSU, Raymond Umeadi (D1)
- 尾山 昌太郎 (D1, 東京サテライト)
- ISLAM, Md Rakibul (M2)
- NGUYEN, Truong Tat (M2)
- TANG, Xiangqi (M1)
OB・OG
研究内容
研究分野，キーワード
- ソフトウェア工学・科学 (形式手法，モデル検査，プログラム検証)．
- 制約プログラミング (SAT/SMTソルバー，数値制約)．
- プログラミング言語 (論理型，関数型)．
- サイバーフィジカルシステム，連続離散ハイブリッドシステム，機械学習システム．
- 例: ロボット，自動車．