Lei Huang

Hi, I am Lei Huang, an incoming MSCS student at University of Illinois Urbana-Champaign advised by Prof. Huan Zhang . I am interested in Formal Methods, Algorithm, and High Performance Computing (HPC), especially in driving neural network verification algorithms with large computation.

During my undergraduate study, I was fortunate to be advised by Dr. Yedi Zhang and Prof. Fu Song .

Prior to UIUC, I was a Quant System Engineer at Sixie Capital . And I served as the leader in the ShanghaiTech ACM and GeekPie.

I enjoy travelling, reading, writing and socialing with people. Meet me (in-person or virtual)! or/and read some Blog, in 中文 ~

About my name:

• 黄: Huang, family name, the mythical culture hero of Chinese.
• 磊: Lei, given name, of heap of stones. (guess 石 means what)