Lars Birkedal Uri Braun Adam J. Chlipala Paul Govereau Timothy L. Harris J. Gregory Malecha J. Gregory Morrisett Aleksandar Nanevski Mark Plesko Margo I. Seltzer David Tarditi Ryan Wisnesky