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