Computer Science Ph.D. student at the University of New Mexico studying compilers and code correctness.