リサーチグループ

ソフトウェア工学における最適化問題

このグループのリサーチは、主に、信頼性の高いシステム工学、文法的推論、ソフトウェア検証の分野で生じるハード最適化問題の解決に焦点を当てています。

主なリサーチプロジェクト

  • メタヒューリスティックアルゴリズムによる有限状態機械推論
  • 産業オートメーションソフトウェアの合成、テスト、検証
  • メタヒューリスティック アルゴリズムのパラメーター調整
  • グラフとオートマトンの問題に対する制約プログラミング

連絡先: Vladimir Ulyantsev.

グループメンバー

Vladimir Ulyantsev
Vladimir Ulyantsev
リサーチラボ/グループ長
Daniil Chivilikhin
Daniil Chivilikhin
研究員
Ilya Zakirzyanov
Ilya Zakirzyanov
研究員
Ekaterina Noskova
Ekaterina Noskova
研究員
Konstantin Chukharev
Konstantin Chukharev
研究員