I am a Professor and Senior Lecturer at the University of Engineering and Technology, Vietnam National University, Hanoi.

My research interests lie primarily in Commutative Algebra, particularly Commutative Homological Algebra over local rings; Algebraic Geometry, with a focus on birational geometry; Formal Proof, especially applications to quantum information and cryptography; and AI Safety and Trustworthy AI, particularly the use of formal methods to ensure the reliability, security, and correctness of AI systems.

More specifically, my research interests include:

• Computational and experimental methods in commutative algebra, algebraic geometry, and formal verification.

• The construction, classification, and moduli theory of algebraic surfaces and Calabi–Yau threefolds.

• The construction and characterization of algebraic varieties through syzygies and homological methods.

• Formal verification and mathematical foundations of AI safety, including rigorous specification and verification of AI systems.

• Trustworthy AI, with an emphasis on provable guarantees, safety properties, and the reliability of AI-driven systems.

• The integration of large language models (LLMs) with formal proof assistants, particularly Lean, for reliable mathematical reasoning and verification.

• Formal methods for security and correctness in cryptographic protocols and quantum information systems.