Mahsa Shirmohammadi

Una visión general de estrategias y objetivos en juegos estocásticos de dos jugadores.

Explorando las funciones y aplicaciones de los autómatas de árbol en la informática.

Una visión general de los grupos de matrices, problemas de órbita y sus implicaciones computacionales.

Nuevos métodos mejoran la accesibilidad de sistemas conscientes de los recursos.

Avanzando en la generación automática de invariantes de bucle para la verificación de software confiable.

Esta investigación explora soluciones a ecuaciones polinómicas y sus implicaciones en matemáticas.