Research group

Optimization Problems in Software Engineering

The group’s research mainly focuses on solving hard optimization problems arising in the areas of reliable systems engineering, grammatical inference, and software verification.

Our main research projects

  • Finite-state machine inference with metaheuristic algorithms.
  • Synthesis, testing, and verification of industrial automation software.
  • Metaheuristic algorithms parameter tuning.
  • Constraint programming for graph and automata problems.

Contact person: Vladimir Ulyantsev.

Group Members

Vladimir Ulyantsev
Vladimir Ulyantsev
Head of Research Lab/Group
Daniil Chivilikhin
Daniil Chivilikhin
Researcher
Konstantin Chukharev
Konstantin Chukharev
Researcher
Ekaterina Noskova
Ekaterina Noskova
Researcher
Ilya Zakirzyanov
Ilya Zakirzyanov
Researcher