Assoc. Prof. Lei Pan

Assoc. Prof. Lei Pan provides expertise in algebraic reasoning, logic‑protocol design, and multi‑agent inference. He advises on foundational symbolic models and formal verification in distributed intelligent systems. Ranked among the world’s leading PQC researchers, Prof. Pan pioneers quantum‑resilient cryptography for IoT and cloud infrastructures, bridging algorithm optimization with distributed‑system security.