Sanjit A. Seshia

Un nuevo método mejora el aprendizaje de los agentes de RL a través de recompensas estructuradas.

Métodos eficientes para asignar tareas a múltiples robots en entornos en tiempo real.

Tenspiler simplifica la adaptación de código, permitiendo a los desarrolladores mantenerse al día con los cambios tecnológicos.

Un nuevo método mejora la generación de código para lenguajes de programación especializados.

Explorando cómo la IA facilita la conversión de código entre lenguajes de programación.

Un nuevo método mejora la detección de vulnerabilidades microarquitectónicas en sistemas informáticos.