Lei Huang

Hi, I am Lei Huang, a Quant System Engineer at Sixie Capital and an incoming MSCS student at University of Illinois at Urbana-Champaign . 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 am fortunate to be advised by Dr. Yedi Zhang from National University of Singapore and Prof. Fu Song from Institute of Software and Chinese Academy of Sciences . Also, I serve as the leader in the ShanghaiTech ACM and GeekPie.

Currently, I am advised by Prof. Huan Zhang with a focus on formal verification of neural network. If you are willing to join us as a coauthor or contributor, please schedule a meeting with me directly!

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)