Beca: Totalmente financiada
Titulación: BS, MS
Nacionalidad: Estudiantes internacionales
Ubicación: EE.UU.
Plazos de solicitud: Hasta que se cubran las plazas
Descripción de la beca:
La investigación actual en el laboratorio de Owolabi (https://www.cs.cornell.edu/~legunsen/ ) se centra en las pruebas de software y los métodos formales aplicados. Nuestra visión general es integrar los métodos formales ligeros con las pruebas de software cotidianas, como una forma de amplificar la capacidad de detección de errores de las pruebas. Ya hemos hecho progresos: hemos desarrollado las primeras técnicas de verificación en tiempo de ejecución que tienen en cuenta la evolución (https://www.cs.cornell.edu/~legunsen/pubs/Legunsen19PhD.pdf ), y nuestro trabajo sobre verificación en tiempo de ejecución y pruebas de software ha ayudado a encontrar más de 500 errores en más de cien proyectos de código abierto.
Asignaturas disponibles:
Ingeniería de software
Criterios de selección:
Puede leer sobre algunos de nuestros proyectos en curso aquí: https://nsf.gov/awardsearch/showAward?AWD_ID=2045596 y aquí: https://nsf.gov/awardsearch/showAward?AWD_ID=2019277. Pero la verificación en tiempo de ejecución es sólo uno de los muchos métodos formales ligeros en los que estamos interesados, ¡y también estamos abiertos a tus ideas!
Procedimiento de solicitud:
Si está interesado, por favor, solicite el programa de doctorado de CS en Cornell (https://www.cs.cornell.edu/phd/admissions). En su solicitud, mencione “ingeniería de software” como área de interés de investigación, y mencione a “Owolabi Legunsen” como posible asesor.
