Students

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