I am a Computer Science & Engineering undergraduate at Daffodil International University. My work explores neuro-symbolic AI and formal verification, alongside software systems built for practical, human-centered use.
From clinical reasoning models to web applications and low-level computing, I care about clarity, correctness, and useful execution.
A few projects and investigations, from formal reasoning to useful software.
Formalizing intersecting cardiovascular, renal, and metabolic clinical guideline constraints into first-order logic and SMT satisfiability specifications to verify multi-morbidity polypharmacy rules.
Outpatient clinic queue arbitration system. Features receptionist-first batch workflows, deterministic dual-lane rotation, and privacy-preserving patient transparency.
Human-centered student expense governor. Features Monthly and Hustle modes with partitioned Cloudflare D1 SQLite storage for dynamic budgeting telemetry.
Real-time C++ rendering pipeline sustaining 60 FPS across dynamic scene graphs, vertex buffer objects, and custom GLSL illumination shaders.
Structured extraction from natural clinical narratives, explicit assumption modeling, and satisfiability verification using first-order SMT solvers.
Modeling conflicts and polypharmacy consistency in multi-morbidity CKD, diabetes, and cardiovascular recommendations as formal constraint abstractions.
Small, fast, maintainable software systems, deterministic graphics rendering in C++, and reliable headless Unix infrastructure.
Recent notes, systems engineering logs, and technical essays.
Practical field notes on deploying headless Linux servers on private WireGuard overlay mesh networks with automated service management.
A critical inquiry into systemic determinism, moral friction, and tragic necessity across classical Russian literature and contemporary narrative animation.
I welcome discussions about research, software engineering, and collaborations where careful thinking can produce something useful.