リサーチグループ
ソフトウェア工学における最適化問題
このグループのリサーチは、主に、信頼性の高いシステム工学、文法的推論、ソフトウェア検証の分野で生じるハード最適化問題の解決に焦点を当てています。
主なリサーチプロジェクト
- メタヒューリスティックアルゴリズムによる有限状態機械推論
- 産業オートメーションソフトウェアの合成、テスト、検証
- メタヒューリスティック アルゴリズムのパラメーター調整
- グラフとオートマトンの問題に対する制約プログラミング
連絡先: Vladimir Ulyantsev.
グループメンバー

Vladimir Ulyantsev
リサーチラボ/グループ長

Daniil Chivilikhin
研究員

Ilya Zakirzyanov
研究員

Ekaterina Noskova
研究員

Dmitrii Suvorov
研究員

Konstantin Chukharev
研究員