Aditya Kanade

Aprende cómo el análisis estático y la reparación de programas mejoran la seguridad y confiabilidad del software.

Los investigadores mejoran la redacción de fórmulas en hojas de cálculo usando modelos de lenguaje para dar mejor apoyo a los usuarios.