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
Vladimir Ulyantsev
Leiter*in Forschungslabor/-gruppe
Daniil Chivilikhin
Daniil Chivilikhin
Forscher*in
Ilya Zakirzyanov
Ilya Zakirzyanov
Forscher*in
Ekaterina Noskova
Ekaterina Noskova
Forscher*in
Konstantin Chukharev
Konstantin Chukharev
Forscher*in