Lei Huang

Hi, I am Lei Huang, a final-year undergraduate student at ShanghaiTech University . I am interested in Formal Methods, Algorithm, and High Performance Computing (HPC), especially in driving neural network verification algorithms with large computation.

Currently, 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.

I enjoy travelling, reading, writing and socialing with people. Hit My Blog, in 中文 ~

I am looking for a Ph.D. position 2025 Fall, in the intersection of Formal Methods, Algorithm and High Performance Computing.

About my name:

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