About me
I am a researcher in Wireless Systems Laboratory (WSL) at National Institute of Information and Communication Technology (NICT), Japan. My current research focus on bringing formal methods from software engineering to analyze, verify, and improve the robustness of AI-enabled wireless systems.
News
- 2/2026: co-authored in a CVPR’26 paper on analyzing neural network robustness with dual perturbations.
- 1/2026: co-authored in a FSE’26 paper on verifying signal processing-inspired robustness properties.
- 12/2025: ICAIIC'26 paper on verify robustness of 3DConv model for network traffic provisioning.
- 05/2025: Joined WSL, NICT
- 03/2025: Received the INOSE Student Encouragement Award of National Institute of Informatics (NII)
Publications
- “Verifying Neural Network Robustness with Dual Perturbations”
Hai Duong, Lam Nguyen, Thanh Le, ThanhVu Nguyen
Conference on Computer Vision and Pattern Recognition (CVPR'26), June 2026
PDF Code - “Verifying Structural Robustness of Deep Neural Network”
Hai Duong*, Thanh Le*, Lam Nguyen, ThanhVu Nguyen
Foundations of Software Engineering (ACM FSE'26), July 2026
PDF Code - “Formal Verification for Deep Learning-based Mobile Network Traffic Prediction”
Thanh Le, Takeshi Matsumura
The 8th International Conference on Artificial Intelligent in Information and Communication (IEEE ICAIIC'26), Feb. 2026
PDF Code - “MFTTS: A Mean-Field Transfer Thompson Sampling Approach for Distributed Power Allocation in Unsourced Multiple Access”
Thanh Le, Yusheng Ji, John C.S. Lui
IEEE Transactions on Mobile Computing (Volume: 23, Issue: 12, December 2024)
PDF
Preprints
- “Verifying DNN-based Semantic Communication Against Generative Adversarial Noise”
Thanh Le, Hai Duong, ThanhVu Nguyen, Takeshi Matsumura
PDF - “FGGM: Formal Grey-box Gradient Method for Attacking DRL-based MU-MIMO Scheduler”
Thanh Le, Hai Duong, Yusheng Ji, ThanhVu Nguyen, John C.S. Lui
PDF
Dissertation
Distributed Learning Techniques for Dynamic Access Control in massive Machine-Type Communication
Supervisor: Prof. Yusheng Ji
SOKENDAI, NII, Mar. 2025
Abstract
Misc
- Help review papers at IEEE ICC, IEEE GlobeCom, IEEE TCCN, Elsevier ComCom
- TPC member at DOICT-IndSoc Workshop, in conjunction with INFOCOM 2026