Allison Sullivan

Allison Sullivan is an Assistant Professor of Computer Science at The University of Texas at Arlington (UTA), affiliated with the Software Engineering Research Center (SERC) and the College of Engineering. She holds a PhD in Software Engineering from The University of Texas at Austin (2017) and previously served as an Assistant Professor at North Carolina A&T State University (2018-2020). Her research focuses on software reliability through automated engineering techniques and formal methods, supported by NSF and DoD grants.

Education: PhD in Software Engineering (UT Austin, 2017), MS (UT Austin, 2014), BS (UT Dallas, 2012).

Research interests include automated test generation, mutation testing, program synthesis, and formal verification of autonomous systems. Key areas span Model-Based Testing, First-Order Logic, and SAT/SMT solvers.

Publications reflect her work in Alloy-based tools (e.g., AUnit, MuAlloy), mutation testing frameworks, and educational outreach. Notable awards include NSF CAREER (2024), UTA Rising Star (2024), and Outstanding Early Career Faculty (2025).

She advises multiple graduate and undergraduate students, teaches courses in algorithms, software testing, and formal methods, and serves on program committees for conferences like ASE, MODELS, and ISSRE. Her broader impacts include K-12 outreach, curriculum development, and mentoring through initiatives like Google Faculty In Residence and AMIE Design Challenge.

Labs/Teams: Leads the SCOPE lab at UTA, focusing on program correctness verification.