Registered user since Sat 14 Nov 2020
I am a Professor and the Associate Department Head for Undergraduate Studies in the Department of Computer Science at Virginia Tech, where I have been teaching since 1996. I received my B.S. in electrical engineering from Caltech, and M.S. and Ph.D. degrees in computer and information science from The Ohio State University. My research interests are in computer science education, software engineering, automated testing, the use of formal methods in programming languages, and component-based approaches to software engineering and reuse.
I am the project lead for Web-CAT, the most widely used open-source automated grading system in the world. Web-CAT is known for allowing instructors to grade students based on how well they test their own code. In addition, my research group has produced a number of other open-source tools used in classrooms at many other institutions. More information on my research projects appears below.