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 am looking for a job teaching on the eastern seaboard, preferrably in New England and ideally at a small, liberal arts college.
And is growing up quite nicely.
Join the Blue
Ribbon Anti-Censorship Campaign!