cv
Curriculum Vitae
Basics
| Name | Lei Huang |
| leih5@illinois.edu |
Education
-
2025.08 - 2027.05 -
2021.09 - 2025.07
Work
-
2025.08 - Present Graduate Research Assistant
University of Illinois Urbana-Champaign
Advancing scalable formal verification of neural networks through high-performance and distributed computing.
-
2025.07 - 2025.08 ML System Engineer (Intern)
OpenAGI Research Foundation
Built an end-to-end LLM pretraining stack spanning data, distributed training, and evaluation.
-
2024.12 - 2025.07 Quant Systems Engineer (Intern)
Sixie Capital
Built distributed ML, high-performance storage infrastructure, and data for supporting quantitative research.
-
2023.12 - 2024.12 Research Assistant
National University of Singapore (NUS)
Accelerated formal verification algorithms with GPU computing.
Awards
- 2023.05
ISC'23 Student Cluster Competition — Third Place
International Supercomputing Conference (ISC)
Compiled, optimized, and analyzed fluid simulation workloads on FAU & Bridges-2 supercomputers.
- 2023.11
SC'23 Student Cluster Competition — Seventh Place & Outstanding Reproducibility Report
Supercomputing Conference (SC)
48-hour continuous run analyzing large-scale matrix decompositions; reproduced key results.
- 2021.11
ICPC Asia Regional — 3× Silver Medals
ICPC
Team captain and core member; solved 7 problems within 5-hour contests.
Publications
-
2025.02.01 Verification of Bit-Flip Attacks against Quantized Neural Networks
OOPSLA 2025 (CCF-A)
verification of bit-flip attacks on QNNs.
Projects
Languages
| Chinese | |
| Native |
| English | |
| Fluent |
Skills
| Programming | |
| Modern C++ | |
| CUDA | |
| Python | |
| PyTorch | |
| Not limited to any single language |
| HPC & Distributed | |
| RDMA | |
| CUDA | |
| BeeGFS | |
| OpenMP | |
| MPI | |
| SSE2/AVX2 | |
| Nsight | |
| VTune | |
| Ray Distributed |
| Other Skills | |
| Complex System Performance Analysis (CPU+GPU+Communication) | |
| Linux System-Level Programming | |
| Cluster Administration |