Mahsa Shirmohammadi

Eine Übersicht über Strategien und Ziele in Zwei-Spieler-stochastischen Spielen.

Die Funktionen und Anwendungen von Baumautomaten in der Informatik erkunden.

Eine Übersicht über Matrixgruppen, Orbitprobleme und ihre rechnerischen Implikationen.

Neue Methoden verbessern die Erreichbarkeit von ressourcenbewussten Systemen.

Fortschritt bei der automatischen Generierung von Schleifeninvarianten für zuverlässige Softwareüberprüfung.

Diese Forschung untersucht Lösungen für polynomialen Gleichungen und ihre Auswirkungen in der Mathematik.