Scholarship: Fully funded
Degree: BS, MS
Nationality: International Students
Location: USA
Application deadlines: Until the positions are filled
Scholarship Description:
The current research in Owolabi’s lab (https://www.cs.cornell.edu/~legunsen/ ) is focused on software testing and applied formal methods. Our broad vision is to integrate lightweight formal methods with everyday software testing, as a way to amplify the bug-detection capability of tests. We have already made progress: we developed the first evolution-aware techniques for runtime verification (https://www.cs.cornell.edu/~legunsen/pubs/Legunsen19PhD.pdf ), and our work on runtime verification and software testing has helped find more than 500 bugs in over a hundred open-source projects.
Available Subjects:
- Software engineering
Eligibility criteria:
- You can read about some of our ongoing projects here: https://nsf.gov/awardsearch/showAward?AWD_ID=2045596 and here: https://nsf.gov/awardsearch/showAward?AWD_ID=2019277. But, runtime verification is just one of the many lightweight formal methods that we are interested in, and we are open to your ideas as well!
Application Procedure:
If you are interested, please apply to the CS PhD program at Cornell (https://www.cs.cornell.edu/phd/admissions). In your application, mention “software engineering” as an area of research interest, and mention “Owolabi Legunsen” as a potential adviser.
