Candidate Acceptances

Nominees who accept their nominations must place their name here, along with any statement or links that they wish to make.

  1. ClintonEbadi. See statement on my user page.

  2. AdamChlipala. I'm one of the founders of the informal precursor to HCoop in 2002, and I'm the only one of those folks who's been in a volunteer position since 2003 or so. I'm also the current president and treasurer. Based on the increased busy-ness of my schedule, I've been trying to spin down my HCoop commitments, starting with the role of custom software developer that I've filled from the start until roughly the last few months. I'm interested in staying on the board for another term to help provide some institutional memory to new people taking over some of my old roles, which I hope will all be transferred to others within the next year or so. The one-sentence summary of my outside-HCoop situation is that I do research (and am starting with some entrepreneurship) in programming languages and computer theorem-proving; more on my research web site.

  3. BrianTempleton. See statement on my user page.

  4. RichardDarst, see statement on my user page.


CategoryElection