Lê Quốc Dũng

Lê Quốc Dũng specializes in algebraic logic, graph deduction, and mathematical reasoning in symbolic AI. He has worked on Boolean‑logic verification and deduction chains, and he participates in international mathematics and algorithmic reasoning competitions. Winner of the 2024 NSUCRYPTO Gold Medal, he implements high‑performance C/CUDA versions of Russian block ciphers and conducts power‑analysis cryptanalysis. His competitive accolades across global math and crypto Olympiads reinforce his focus on mathematically rigorous encryption analysis and LaTeX documentation craftsmanship.