Sanjit A. Seshia

Un nuovo metodo migliora l'apprendimento degli agenti RL attraverso ricompense strutturate.

Metodi efficienti per assegnare compiti a più robot in ambienti in tempo reale.

Tenspiler semplifica l'adattamento del codice, permettendo agli sviluppatori di stare al passo con i cambiamenti tecnologici.

Un nuovo metodo migliora la generazione di codice per linguaggi di programmazione specializzati.

Esplorare come l'IA facilita la conversione di codice tra i linguaggi di programmazione.

Un nuovo metodo migliora il rilevamento delle vulnerabilità microarchitettoniche nei sistemi informatici.