#Gyan Labs · Applied Mathematics & Computational Science

Research & Innovation

Advancing mathematical optimization, computational intelligence, and algorithmic decision systems through independent, reproducible scientific research.

Explore Active Research (GL-RD-001) Research Leadership
Research Framework

Advancing Applied Mathematics & Optimization

#Gyan Labs conducts independent scientific investigations at the intersection of applied mathematics, operations research, and artificial intelligence. Our research program focuses on constrained decision-making under operational uncertainty, algorithmic verification, and the development of reproducible computational benchmarks.

Research Independence & Disclosure: #Gyan Labs is the research and technology brand operated by HashGyan, an Ontario-registered business. Non-commercial scientific research activities described here are pursued independently from commercial AI product engineering and client consulting services.
Active Research Program

GL-RD-001 — Adaptive Logistics Optimization

Active Research Operations Research Mathematical Optimization Logistics Decision Systems

Adaptive Logistics Routing and Mathematical Optimization

This active research program investigates how mathematical programming and optimization methods can improve vehicle routing decisions under vehicle capacity constraints, dynamic operational conditions, and demand variation.

Current Computational Foundation: The initial Capacitated Vehicle Routing Problem (CVRP) baseline has been modeled using Python and Google OR-Tools. The initial CVRP baseline was independently verified through exhaustive enumeration and constraint checks.

Core Research Directions

  • Combinatorial Optimization: Mathematical formulation of capacitated vehicle routing with operational constraints.
  • Stochastic Demand Modeling: Evaluating algorithm adaptability when customer demands and transit constraints vary dynamically.
  • Algorithmic Comparison: Comparing exact mathematical optimization models with neural heuristic and AI-assisted methods.
  • Independent Verification: Establishing systematic computational checks to audit constraint satisfaction and solution optimality.

Planned Scientific Outputs

Planned research outputs include reproducible computational benchmarks, technical reports, open-source research implementations, and manuscripts prepared for scholarly peer review. These represent active research objectives, not completed publications.

Methodology & Standards

Scientific Research Methods

Our research methodology emphasizes rigorous mathematical foundations, reproducible codebases, and verifiable algorithmic execution.

Mathematical Modeling

Formulating decision challenges through graph theory, combinatorial optimization, linear and integer programming, and constrained operational models.

Computational Experiments

Developing transparent Python-based simulation frameworks, leveraging Google OR-Tools solvers, and executing structured comparative benchmarks.

Algorithmic Validation

Verifying solution feasibility through constraint checking, exhaustive enumeration on tractable subsets, and documented regression procedures.

Scientific Direction

Research Leadership

Harish Chandra Dhakal, M.Sc.

Founder & Principal AI Architect — #Gyan Labs

Harish Chandra Dhakal directs the applied mathematics and AI research activities at #Gyan Labs. His background spans applied mathematical modeling, operations research, scientific computing, and university-level mathematics instruction.

  • Master of Science in Applied Mathematics — Western University, London, Ontario, Canada
  • Master of Science in Mathematics — Tribhuvan University, Kathmandu, Nepal

His academic research background includes mathematical epidemiology and differential equation modeling. His current research program focuses on operational logistics optimization, combinatorial algorithms, and private AI engineering.

View Verified ORCID Profile →
Scholarly Background

Peer-Reviewed Publication

Peer-Reviewed Journal Article · 2021

Estimating the risk of pandemic avian influenza

Journal of Biological Dynamics (Taylor & Francis)

Peer-reviewed research investigating mathematical modeling and parameter estimation for pandemic influenza transmission risk.

View Article on Journal Website (DOI: 10.1080/17513758.2021.1942570) →
Open Science

Reproducibility & Research Software

We support open scientific methodology. Where confidentiality and proprietary rights permit, we plan to release documented test instances, validation scripts, and benchmark results to the broader research community.

Reproducible Experiments

Documenting exact mathematical assumptions, problem bounds, parameter settings, and computational validation pipelines.

Open-Source Benchmarks

Planned public availability of selected routing datasets and baseline implementations on GitHub following peer review.

Visit Researcher GitHub Profile →
Scientific Collaboration

Research Enquiries & Collaboration

For scientific discussions, potential research collaborations, or technical questions regarding the GL-RD-001 optimization baseline.

Contact for Research Enquiries