Allison Sullivan obtained her PhD in the Software Verification, Validation and Testing (SVVAT) group at the University of Texas at Austin (hook’em) in 2017. Her adviser was Sarfraz Khurshid. She obtained her M.S. degree in software engineering at UT Austin in 2014 and her B.S. degree in software engineering from The University of Texas at Dallas in 2012 (whoosh).
In 2018 to 2020, she was an assistant professor at North Carolina A&T State University. Since Fall of 2020, she has been an assistant professor at UT Arlington. Her recent research has focused on verification/synthesis of formal modeling languages and verification of autonomous systems. Her research has been supported by the National Science Foundation and the Department of Defense.
CSE 6397-020RESEARCH IN COMPUTER SCIENCE
CSE 5320-002SPEC TOPS SOFTWARE ENGR
CSE 6392-003SPECIAL TOPICS
CSE 5311-003DSGN & ANLY ALGORITHMS
CSE 5311-203DSGN & ANLY ALGORITHMS
CSE 5311-902DSGN & ANLY ALGORITHMS