Prospective Students

RAships/TAships/REU appointments available: Please contact me if you are a self-motivated PhD student (or graduate student interested in our PhD program) with strong programming skills and strong interests in autonomous systems, software engineering and verification. Please include a copy of your CV/Resume, including descriptions of your education background, programming skills, and previous projects, in your correspondence.

Current Students

  • Ana Jovanovic
    - Doctoral, Focus: Formal Verification
    - Projected Graduation: Spring 2024
  • Anahita Samadi
    - Doctoral, Focus: Testing of Machine Learning Systems
    - Projected Graduation: Spring 2024
  • Resha Adhikari
    - Bachelors, Focus: Empirical Study of Model Synthesis and Repair
    - Projected Graduation: Spring 2023

Volunteer Positions

  • Saravanan Thirunavukkarasu
    - Role: Transform ASketch interfaces into educational exercises.

Former Students

  • William Dunston
    - B.S. in CE Fall 2020: Extended a Java-based program repair tool to support a broader scope of Java’s syntax.
  • Jasmine Mabrey
    - M.S. Thesis May 2020: “Automated Defect Classification using Machine Learning”
    - Received: Rising Scholar Award - only one rising scholar award is given out for the entire university.
    - First Job: Sandia National Laboratory, Albuquerque, NM
  • George Thompson
    - M.S. Thesis May 2020: “Towards Automated Fault Localization for Prolog Models”
    - Nominated for Outstanding Thesis Award
    - First Job: Sandia National Laboratory, Albuquerque, NM
  • Joelle Banks
    - B.S. in CS May 2020: Conducted an empirical study of program repair techniques to aid in Jasmine Mabrey’s thesis.
  • Regina Bunch
    - M.S. Project Dec 2018: “AMail: Email for Autism”
    - First Job: Cigna, Philadelphia, PA