Homayoon Akhiani Damien Doligez Leslie Lamport Joshua Scheid Mark R. Tuttle Yuan Yu