Forschungsgruppe
Optimierungsprobleme im Software Engineering
Die Forschung der Gruppe konzentriert sich vor allem auf die Lösung schwieriger Optimierungsprobleme in den Bereichen zuverlässige Systemtechnik, grammatikalische Inferenzen und Softwareverifizierung.
Unsere wichtigsten Forschungsprojekte
- Zustandsautomat-Inferenz mit metaheuristischen Algorithmen.
- Synthese, Testing und Verifizierung von industrieller Automatisierungssoftware.
- Metaheuristischer Algorithmen Parameteroptimierung.
- Einschränkungsprogrammierung für Diagramm- und Automatenprobleme.
Ansprechpartner: Vladimir Ulyantsev.
Gruppenmitglieder

Vladimir Ulyantsev
Leiter*in Forschungslabor/-gruppe

Daniil Chivilikhin
Forscher*in

Ilya Zakirzyanov
Forscher*in

Ekaterina Noskova
Forscher*in

Dmitrii Suvorov
Forscher*in

Konstantin Chukharev
Forscher*in