Allison Sullivan

Assistant Professor, University of Texas at Arlington

Dr. Sullivan is 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).

She is the lead professor of SCOPE lab which focuses on improving techniques to show the correctness of all program executions. They aim to develop foundational technologies for improving the reliability of software systems. A core theme of their research is to reduce the effort needed by developers to ensure their software system works correctly. To reduce the “effort” they focus on building automated verification, debugging and synthesis techniques for the software implementation (code) and the software design (model).

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