Professional Background
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 at Computer Science.
Résumé and CV
The following are links to public versions of my résumé and CV. For complete versions, please contact me.