2026
DATE
Биография
Lei учится в аспирантуре Харбинского политехнического института (Шэньчжэнь), проходит стажировку в School of Computing NUS по программе совместной подготовки China Scholarship Council и работает с Flavien Solt.
Исследования Lei посвящены безопасности процессоров, в частности фаззингу и формальной верификации открытых процессоров RISC-V. Lei также занимается автоматическим исправлением RTL-описаний и интересуется безопасностью больших языковых моделей и ИИ для автоматизации проектирования схем (EDA).
Научные интересы
- Безопасность процессоров
- Фаззинг аппаратуры
- Формальная верификация
- Безопасность больших языковых моделей
- Исправление RTL
Образование
- Аспирантура (PhD), компьютерные науки, Харбинский политехнический институт (Шэньчжэнь), с 2023 года
- Магистратура (MEng), электроника и связь, Сидяньский университет, с 2020 по 2023 год
- Бакалавриат (BE), инженерия связи, Наньчанский университет, с 2016 по 2020 год
Публикации
2026
IEEE ITC-Asia
CPCRFuzz: Adaptive Security-Critical Path and Control-Register Guided Fuzzing for Processor Vulnerability Detection
2026
IEEE ITC-Asia
SAPA: A Programmable and Semantics-Aware Shared Polynomial Accelerator for ML-KEM and ML-DSA
2025