People

Current Professors

• Allison Sullivan
  - Assistant Professor of Computer Science at The University of Texas at Arlington (UTA)

Current Students

• Anahita Samadi
  - Doctoral, Focus: Testing of Machine Learning Systems
  - Projected Graduation: Spring 2025
• 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
• Iftekhar Uddin
  - Doctoral, Focus: Live Programming for Formal Methods
  - Projected Graduation: Spring 2029
• Justine Talia Gacho
  - Bachelors, Focus: Verification of Historical Map Translations into Vector-Based GIS Data

Former Students - PhDs

• Ana Jovanovic
  - Dissertation: “Improving the Accuracy of Software Models Using Refinement and Mutation Testing”

Former Students - REUs and Masters

• Sanyogita Piya
  - B.S. in CS Fall 2023: Test-Driven Development using LLMs
  - First Job: Mouser Electronics, Volunteer in SCOPE Lab
• Adam Emerson
  - B.S. in CS Summer 2023: Built a toolset to help users graphically create unit tests for software models.
  - First Job: UTA PhD student in Dr. Torres
• 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
• Regina Bunch
  - M.S. Project Dec 2018: “AMail: Email for Autism”
  - First Job: Cigna, Philadelphia, PA

Single Semester REUs

• Neha Joshi
  - Fall 2024: CASHI-REU - Generation of completion rules for Alloy constraints.
• Moyses Ledezma Berna
  - Spring 2024: CASHI-REU - Hint generation for Alloy mathematical operators.
• Cristian Munoz
  - Fall 2022: CASHI-REU - Built a toolset to help ease the adoption of software models.
• Resha Adhikari
  - Fall 2021: Empirical study of auomated repair and syhnthesis techniques for modeling languages.
• William Dunston
  - Fall 2020: Extended a Java-based program repair tool to support a broader scope of Java’s syntax.
• Joelle Banks
  - Spring 2020: Conducted an empirical study of program repair techniques to aid in Jasmine Mabrey’s thesis.