Former CSAIL Graduate Student David Woodruff Earns EATC's Presburger Award!