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.

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

Focused on organizational deployment of intelligent AI systems. Explores strategic integration of logical AI into enterprise workflows, emphasizing efficiency and transparency.

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.

Affiliated PhD Researcher

Researches symbolic AI architectures for next-generation network interfaces. Explores hybrid protocol stacks enhanced by machine reasoning for resilient and adaptive network behavior.

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.