Principal Investigator, Founder | Assistant Professor, VinUniversity

Leads the lab’s new direction in symbolic AI and reasoning-centric models. His current focus is on building interpretable AI systems that integrate mathematical logic, optimization, and human-aligned reasoning for trustworthy deployment across complex domains.

Associate Investigator

Specialist in federated learning and distributed knowledge systems. His recent work explores decentralized symbolic inference and collaborative reasoning among AI agents in edge and cloud environments.

Research Scientist

Works in algorithmic reasoning and cognitive-inspired symbolic computation. Designing lightweight, deterministic reasoning engines for embedded intelligent systems.

Graduate Researcher

Designs robust system architectures for AI agents that reason through complex event patterns. Passionate about embedding logic engines within critical infrastructure systems.

Graduate Researcher

Working on adversarial robustness in reasoning agents and counterfactual analysis in symbolic inference models.

Graduate Researcher

Lecturer and researcher at Le Quy Don Technical University specializing in AI applications for cybersecurity. He holds an MSc from JAIST (Japan) and focuses on federated learning, network anomaly detection, and secure software development.

Graduate Researcher

Assistant Lecturer at Le Quy Don Technical University with a background in Software Engineering from ITMO University (Russia). His expertise spans cybersecurity, microservice architectures, and anomaly detection using AI

Master’s Student

Specializes in symbolic and mathematical reasoning in AI models, including algebraic logic, graph-based deduction, and formal verification of reasoning chains.

Master’s Student

Researches automated code understanding and program reasoning using symbolic execution and logic-enhanced language models.

Research Assistant

Explores system-level design for interpretable reasoning AI in real-time decision architectures, focusing on modular deployment in containerized environments.

Research Assistant

Investigating secure symbolic communication protocols between AI agents, with emphasis on verifiable reasoning.

Research Assistant

Applies data analytics to derive rule-based inference systems for enterprise intelligence. Current work involves SIEM integration with logic-based anomaly classifiers.

Research Assistant

Focuses on CI/CD automation for reasoning model deployment, with expertise in orchestrating logic inference services within scalable cloud-native environments.

Research Assistant

IT student at Hanoi University of Science and Technology, specializing in Computer Science and Cyber Security. With a strong academic record (GPA 3.81) and achievements in national competitions, he is passionate about cryptography and applied cybersecurity.

Distinguished Research Fellow

Investigates reasoning-enabled control systems in IoT environments. Current research focuses on real-time rule engines embedded in sensor networks and adaptive edge agents.

Distinguished Research Fellow

Explores formal logic frameworks and algebraic models for post-classical AI systems, with an emphasis on symbolic safety guarantees.

Distinguished Research Fellow

Applies reasoning AI to robotic decision-making. Investigating structured planning algorithms and logic-based control systems in autonomous agents.

Scientific Advisor | Associate Professor, Deakin University

Expert in formal methods and distributed logic systems. Advises on algebraic reasoning and logic protocol design in multi-agent inference systems.

Scientific Advisor | Professor of Network Engineering, Deakin University

Leads research on trusted intelligent computing. Special focus on scalable symbolic inference engines and explainable logic reasoning in AI networks.