Research group

Optimization Problems in Software Engineering

This group’s research mainly focuses on solving hard optimization problems arising in the areas of reliable systems engineering, grammatical inference and software verification. In particular, the topics are:

  • 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;
  • and others.

Contact person: Vladimir Ulyantsev (


More posts