研究小组

软件工程中优化问题

该小组的研究主要集中在解决可靠系统工程、语法推理、软件验证等领域出现的优化难题。

我们的主要研究项目

  • 采用元启发式算法的有限状态机器推理。
  • 工业自动化软件的合成、测试和验证。
  • 元启发式算法的参数调整。
  • 图和自动机问题的约束性编程。

联系人: Vladimir Ulyantsev

小组成员

Vladimir Ulyantsev
Vladimir Ulyantsev
研究实验室/小组负责人
Daniil Chivilikhin
Daniil Chivilikhin
研究员
Ilya Zakirzyanov
Ilya Zakirzyanov
研究员
Ekaterina Noskova
Ekaterina Noskova
研究员
Dmitrii Suvorov
Dmitrii Suvorov
研究员
Konstantin Chukharev
Konstantin Chukharev
研究员