Expertise

His current research interests include proof-carrying code, software test-suite strength, software correctness, re-factoring of legacy software, and software testing.

Communities
Computer Science
Degrees
PhD, New Mexico Institute of Mining and Technology, Computer Science, 1994
MS, Wright State University, Computer Science, 1990
BS, Wright State University, Computer Science-Business Option, 1985