The α,β-CROWN verifier is currently being developed by a multi-institutional team:

**Team lead**:
* Huan Zhang (huan@huan-zhang.com), UIUC

**Current developers**:
* Zhouxing Shi (zhouxingshichn@gmail.com), UCLA (Student Lead)
* Xiangru Zhong (xiangruzh0915@gmail.com), UIUC
* Jorge Chavez (jorgejc2@illinois.edu), UIUC
* Duo Zhou (duozhou2@illinois.edu), UIUC
* Christopher Brix (brix@cs.rwth-aachen.de), RWTH Aachen University
* Keyi Shen (keyis2@illinois.edu), UIUC
* Hongji Xu (hx84@duke.edu), Duke University (intern with Prof. Huan Zhang)
* Kaidi Xu (kx46@drexel.edu), Drexel University
* Hao Chen (haoc8@illinois.edu), UIUC
* Keyu Lu (keyulu2@illinois.edu), UIUC

Past developers:
* Sanil Chawla (schawla7@illinois.edu), UIUC
* Linyi Li (linyi2@illinois.edu), UIUC
* Zhuolin Yang (zhuolin5@illinois.edu), UIUC
* Zhuowen Yuan (realzhuowen@gmail.com), UIUC
* Qirui Jin (qiruijin@umich.edu), University of Michigan
* Shiqi Wang (sw3215@columbia.edu), Columbia University
* Yihan Wang (yihanwang@ucla.edu), UCLA
* Jinqi (Kathryn) Chen (jinqic@cs.cmu.edu), CMU

The team acknowledges the financial and advisory support from Prof. Zico Kolter (zkolter@cs.cmu.edu), Prof. Cho-Jui Hsieh (chohsieh@cs.ucla.edu), Prof. Suman Jana (suman@cs.columbia.edu), Prof. Bo Li (lbo@illinois.edu), and Prof. Xue Lin (xue.lin@northeastern.edu).
