John E. Moody[*][[John E. Moody (American computer scientist)|]] Krishna Rajagopal[*][[Krishna Rajagopal (Ph.D. Princeton University 1993)|]][3] Brian Lawrence Patt[*][[Brian Lawrence Patt (Ph. D. Massachusetts Institute of Technology 2006)|]][3] Serkan Cabi[*][[Serkan Cabi (Ph. D. Massachusetts Institute of Technology 2009)|]][3] Michael McNeil Forbes[*][[Michael McNeil Forbes (Ph.D. Massachusetts Institute of Technology 2005)|]][3] Christoph F. E. Holzhey[*][[Christoph F. E. Holzhey (Ph.D. Princeton University 1993)|]][3] Finn Larsen[*][[Finn Larsen (Ph.D. Princeton University 1996)|]][3] Maulik Kirit Parikh[*][[Maulik Kirit Parikh (Ph.D. Princeton University 1998)|]][3] Chetan Nayak[*][[Chetan Nayak (researcher (ORCID 0000-0002-7046-1852))|]]