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