Scholarship: Fully funded
Degree: BS, MS
Nationality: International Students
Application deadlines: Until the positions are filled
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.
- Software engineering
- 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!
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.