Admissions for Fall 2023 2-3 PhD students at Cornell University, USA

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 ( ) 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 ( ), 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:

  1. Software engineering 

Eligibility criteria:

  • You can read about some of our ongoing projects here: and here: 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 ( In your application, mention “software engineering” as an area of research interest, and mention “Owolabi Legunsen” as a potential adviser.