I completed a Ph.D. in Computer Science at the University of Utah School of Computing in the summer of 2007. As a graduate student, I worked in the Myers Research Group. The overall goal of our work was to develop a framework and tools to allow for the efficient verification of analog and mixed–signal systems. I also completed undergraduate degrees in Computer Science and Computer Engineering at the University of Utah in 2001.

From May of 2007 to August of 2009 I lived in the Philippines while teaching information technology and English at the University of Northern Philippines in Vigan, Ilocos Sur as a U.S. Peace Corps Volunteer.

In August of 2009 I became an Assistant Professor in Virginia State University's Department of Mathematics and Computer Science.