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.