On a serious note, Dave's resume can be found here. A Microsoft Word format version of the same document can be found here.
Since leaving Vericept at the beginning of 2006, Dave has been writing a book called A New Chore for Sisyphus.
This book shows why the current state of software quality is so bad by
showing how the practices of a severely time constrained development team inevitably lead to buggy, unreliable, insecure programs. A prospectus for the book
including a chapter outline can be found here. We are currently looking for a traditional publisher for the book but may end up publishing it electronically here.
Please feel free to contact me by e-mail as "dave at davenjudy.org" if you find what I have to say in the prospectus for Sisyphus interesting or you have any input you would like to share.