Nominations

  1. LukeChao. Nominated by LukeChao.

  2. AdamChlipala. Nominated by NathanKennedy.

  3. ClintonEbadi. Nominated by DavidBettis.

  4. RobGubler. Nominated by RobGubler.

  5. BrianHolmes. Nominated by BrianHolmes

  6. NathanKennedy. Nominated by AdamChlipala.

  7. DavorOcelic. Nominated by NathanKennedy.

  8. JasonSmathers. Nominated by JasonSmathers.