Current Professors

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
  • Guanxuan Wu
    - Doctoral, Focus: Automated Repair of Software Models
    - Projected Graduation: Spring 2026
  • Mohammad Nurullah Patwary
    - Doctoral, Focus: Live Programming for Formal Methods
    - Projected Graduation: Spring 2027
  • Sanyogita Piya
    - Bachelors, Focus: Test-Driven Development using LLMs

Former Students

  • Adam Emerson
    - B.S. in CS Summer 2023: Built a toolset to help users graphically create unit tests for software models.
  • Cristian Munoz
    - B.S. in CS - Ongoing: CASHI-REU - Built a toolset to help ease the adoption of software models.
  • Resha Adhikari
    - B.S. in CS Spring 2021: Empirical study of auomated repair and syhnthesis techniques for modeling languages.
  • 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