Sanjit A. Seshia

Une nouvelle méthode améliore l'apprentissage des agents RL grâce à des récompenses structurées.

Méthodes efficaces pour attribuer des tâches à plusieurs robots dans des environnements en temps réel.

Tenspiler simplifie l'adaptation du code, permettant aux développeurs de suivre le rythme des changements technologiques.

Une nouvelle méthode améliore la génération de code pour des langages de programmation spécialisés.

Explorer comment l'IA facilite la conversion de code entre les langages de programmation.

Une nouvelle méthode améliore la détection des vulnérabilités microarchitecturales dans les systèmes informatiques.