SCIPR Lab:
    Eli Ben-Sasson
    Alessandro Chiesa
    Eran Tromer
    Madars Virza
    Howard Wu

External contributors:
    Alexander Chernyakhovsky (Google Inc.)
    Aleksejs Popovs
