I build production-grade AI systems at the intersection of Life Sciences, Mathematics, and Computational Intelligence — turning complex domain problems into clean, tested, deployable software.
- Life Sciences focus — GxP manufacturing automation, regulatory AI, clinical informatics, pharma knowledge graphs, digital twins
- Computational intelligence — neuro-symbolic reasoning, theorem proving, neurodynamics, cognitive modeling, quantum-classical hybrid systems
- Applied AI — RAG pipelines, NLP, ML imaging, RL agents, graph neural networks
- Engineering discipline — every project ships with a full test suite (pytest), CI/CD (GitHub Actions), REST API, and Docker support
Languages & Core
AI / ML / NLP
Web & APIs
Quality & Infrastructure
Pharma / Regulatory
| Project | Description | Tests |
|---|---|---|
| Neurodynamics & Cognitive Modeling | Research platform: 8 neuron models (LIF, HH, AdEx, Izhikevich), brain connectivity, cognitive digital twins, disease models (Alzheimer's, Parkinson's, Epilepsy), multi-agent brain simulation | |
| Automated Theorem Proving (ATP+ITP) | Neuro-symbolic theorem proving platform — 12 specialized agents (PFC, hippocampus, BG, thalamus + math domain agents), interactive proof assistant | |
| Quantum Agent | Neural network bridge between classical and quantum computing — quantum circuit simulation meets neural RL | |
| Algorithmic AI Discovery | Neuro-symbolic engine for mathematical discovery — conjecture generation, pattern recognition across mathematical domains | |
| Mathematical Philosophy & Appraisals | AI-powered mathematical intuition engine — predicts conjecture fruitfulness, finds research gaps, bridges 16 mathematical domains |
Life Sciences / Pharma ████████████████████ GMP, GxP, CMC, ICH Q8-Q12, CAPA
Computational Neuroscience ██████████████░░░░░░ Neural ODEs, spiking networks, cognitive models
Neuro-Symbolic AI █████████████░░░░░░░ Theorem proving, logic, knowledge graphs
Applied ML / NLP ████████████████░░░░ RAG, classification, imaging, NLP pipelines
Financial Analytics ██████████░░░░░░░░░░ Tax optimization, revenue, portfolio analytics
Legal / Regulatory AI ████████░░░░░░░░░░░░ RAG, case outcome prediction, clause extraction
- Digital Thread platforms — end-to-end traceability systems connecting R&D artifacts through GMP batch records and regulatory submissions
- Neuro-symbolic reasoning engines — systems that combine neural learning with symbolic logic for explainable, verifiable AI
- Clinical & manufacturing intelligence — AI tools that operate inside regulated environments with full audit trails and GxP compliance
Building at the edge of AI × Life Sciences × Mathematics




