Xin Peng

Un nuovo approccio combina conoscenza e tecnologia per migliorare la rilevazione delle vulnerabilità nei software.

Un framework a due fasi migliora l'inferenza dei tipi in Python, aumentando la qualità e l'efficienza del codice.

Un nuovo sistema migliora l'accuratezza e l'efficienza della traduzione del codice usando agenti specializzati.

Creare percorsi stradali diversi migliora i test di sicurezza per i veicoli a guida autonoma.