Ph.D.,  University of New Mexico-Albuquerque, 2014

Software Engineering; Formal Methods; Automated Reasoning; Software Testing, Verification, and Analysis;  Invariant Generation; Automatic Program Repair