Bourse d’études : Entièrement financé
Diplôme : BS, MS
Nationalité : Étudiants internationaux
Localisation : USA
Dates limites de candidature : Jusqu’à ce que les postes soient pourvus
Description de la bourse d’études :
La recherche actuelle dans le laboratoire d’Owolabi (https://www.cs.cornell.edu/~legunsen/ ) est axée sur les tests de logiciels et les méthodes formelles appliquées. Notre vision générale est d’intégrer des méthodes formelles légères aux tests logiciels quotidiens, afin d’amplifier la capacité de détection des bogues des tests. Nous avons déjà fait des progrès : nous avons développé les premières techniques de vérification d’exécution tenant compte de l’évolution (https://www.cs.cornell.edu/~legunsen/pubs/Legunsen19PhD.pdf ), et notre travail sur la vérification d’exécution et les tests de logiciels a permis de trouver plus de 500 bogues dans plus d’une centaine de projets open-source.
Sujets disponibles :
- Génie logiciel
Critères d’éligibilité :
- Vous pouvez lire des informations sur certains de nos projets en cours ici : https://nsf.gov/awardsearch/showAward?AWD_ID=2045596 et ici : https://nsf.gov/awardsearch/showAward?AWD_ID=2019277. Mais la vérification d’exécution n’est qu’une des nombreuses méthodes formelles légères qui nous intéressent, et nous sommes également ouverts à vos idées !
Procédure de candidature :
Si vous êtes intéressé(e), veuillez postuler auprès du programme CS PhD de Cornell (https://www.cs.cornell.edu/phd/admissions). Dans votre demande, mentionnez le “génie logiciel” comme domaine d’intérêt de recherche, et mentionnez “Owolabi Legunsen” comme conseiller potentiel.
