Research Interests

My research interests fall under the broad umbrella of "software engineering." Simply put, if there's a way of building software faster, finding errors more easily or improving the understandability of software, I'm interested in knowing about it. Currently, my work focuses on the application of model checking to software verification and validation, the effectiveness of test coverage criteria, and test oracle selection.

Model checking is a fascinating area that has yielded complex, powerful tools that can leveraged for good - finding real bugs, generating useful tests, etc. - and evil - eating up days of processor cycles, generating huge volumes of worthless tests, and generally convincing people something works when it doesn't. As processing power continues to increase and tools improve, we'll hopefully see the role of model checkers in software verification expand to our benefit.

A (hopefully growing) list of publications can be found here.