Dana Angluin Sally A. Goldman Nina Mishra C. David Page Jr. Leonard Pitt