The group’s research mainly focuses on solving hard optimization problems arising in the areas of reliable systems engineering, grammatical inference, and software verification.
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
- and others.
Contact person: Vladimir Ulyantsev (email@example.com).