Christopher Arthur Damon was born December 31, 1994.
And is growing up quite nicely.
I am researching mechanisms that can efficiently discover solutions to relational formulae that arise in software engineering applications. My thesis research is developing a family of techniques, collectively called selective enumeration, that reduce the number of cases needed to consider for a sound generate-and-test approach. This work has been incorporated in the tools Ladybug and Nitpick.
I have accepted a job as Assistant Professor of Computer Science at University of Vermont starting August 2000.
And is growing up quite nicely.
Join the Blue
Ribbon Anti-Censorship Campaign!