Associate Professor, Software Engineering
Available from Cambridge University Press, January 2008.
Order from Amazon
You may be interested in slides describing the Software Engineering Minor and the Applied Computer Science Degree in Software Engineering. More information can be found on the relevant department page.
2014 Bull Run 50 Miler.
Photo by Mike Bur.
I am an Associate Professor in the
Department of Information and Software Engineering.
My basic research
might best be described as
"Why do things go wrong and what can we do about it?"
Current research topics include
semantic-based transaction processing,
software for critical systems,
secure information systems,
and formal methods.
Particularly fruitful of late have been studies of the
intersection between formal methods and databases
and of the intersection between formal methods and testing.
Such cross disciplinary topics have always interested me -
probably a consequence of my undergraduate education.
published eighty some research papers in refereed
journals, conferences, and workshops.
I earned an AB degree in Computer Science from Dartmouth College, and MS and PhD degrees in Computer Science from the University of Virginia.
I enjoy recreational racing for road runners, trail runners, and triathletes. I offer my reports to those interested in my perspective on these events.
CS home page