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
- 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
