About me

I am an Assistant Professor of Computer Science at The University of Texas at Arlington (UTA), a member of the Software Engineering Research Center (SERC) at UTA, the faculty advisor for UTA’s SWE club and a member of the College of Engineering Arlington Women in Engineering organization (COE AWE). Here is my current CV.

I am lead professor of SCOPE lab which focuses on improving techniques to show the correctness of all program executions. You can explore our projects and see the types of things SCOPE lab gets up too.

I obtained my PhD in the Software Verification, Validation and Testing (SVVAT) group at the University of Texas at Austin (hook’em) in 2017. My adviser is Sarfraz Khurshid. I obtained my M.S. degree in software engineering at UT Austin in 2014 and my B.S. degree in software engineering from The University of Texas at Dallas in 2012 (whoosh). My PhD dissertation can be found here.

Research Interest

My main goal is to improve software reliability by focusing on:

  • Automated Software Engineering: Test/Oracle Generation, Automated Bug Localization and Repair, Regression Testing, and Mutation Testing
  • Formal Methods and Programming Languages: Model Based Testing, First-Order Logic, Program Synthesis, Model Checking and Symbolic Execution
  • Upcoming Service: ICSE 2025 (PC Member), ISSRE 2024 (PC Member), FSE Demo 2024 (PC Member), NSF’s CISE Career Workshop 2024 Speaker, NSF Panel Reviewer.


  • June 2024: One paper “Does Every Computer Scientist Need to Know Formal Methods?” published in Formal Aspects of Computing.
  • April 2024: Invited speaker at the 2024 NSF CISE CAREER Workshop. Slides are up on the agenda for all of our CAREER Awardee Talks.
  • Feburary 2024: Gave a presentation on CS vs SE vs CE majors and how to prepare before college at Digital Divas 2024.
  • Janurary 2024: One paper “ LLM4TDD: Best Practices for Test Driven Development Using Large Language Models” accepted into LLMCODE@ICSE 2024.
  • December 2023: I have received a NSF CAREER Award grant to work on integrating live programming practices into finite model finders with the aim to ease the burden of learning software modeling. Total: 525k
  • October 2023: Served on the “Blazing Bright: Faculty Impact To The Computing Community” panel and hosted the PhD Lightening Talks at UTA’s 50th anniversary event.
  • July 2023: One paper “Crucible: Graphical Test Cases for Alloy Models” accepted into ISSRE 2023.
  • July 2023: One paper “Live Programming for Finite Model Finders” accepted into ASE NIER 2023.
  • June 2023: Two papers accepted into MODELS 2023.
  • April 2023: Presented a talk Proofreading the Proofreader: The Benefits of Unit Tests for Software Models at Never Work in Theory 2023!
  • Janurary 2023: On maternity leave - baby Arcadia arrived on the 7th!
  • November 2022: One paper “Abstract Alloy Instances” accepted into FM 2023.
  • More: (Older News).


I love puzzles just as much as my cat likes laying out over all the puzzle pieces. In my downtime, I play video games: I have a weekly discord get together with all my close friends in Texas. I equally enjoy getting out of the house. Since I stopped running marathons, I’ve taken to hiking – I have a goal to visit every national park in the United States. I am also eager to get out and explore the world – I enjoy backpacking with my husband internationally.