I am an undergraduate researcher and software engineer at Daffodil International University in Dhaka. My work explores the intersection of probabilistic machine learning and formal verification—integrating Large Language Models with SMT solvers (Microsoft Z3) to eliminate hallucinations in safety-critical clinical environments.
In parallel, I build low-level systems in C++ and manage headless Unix infrastructure, driven by an interest in computational efficiency, memory guarantees, and foundational software engineering.
Bridging unstructured clinical narratives to typed First-Order Logic constraints via SMT theorem provers.
Modeling polypharmacy contraindications across concurrent CKD, diabetes, and heart failure protocols.
Low-level graphics pipelines, deterministic 60fps frame scheduling in C++, and headless server orchestration.
Supervised by: Assistant Professor, Dept. of CSE, Daffodil International University
An undergraduate thesis proposal modeling and formally verifying polypharmacy clinical guidelines across cardiovascular, renal, and metabolic co-morbidities using first-order logic and Z3 SMT solver.
Supervised by: Assistant Professor, Dept. of CSE, Daffodil International University
A specialized clinical reasoning engine bridging fluid Large Language Model semantic extractions with rigid clinical requirements using Pydantic typing and Microsoft's Z3 SMT solver for deterministic satisfiability checking.
Engineering a fully functional educational compiler and code editor within standard web browser runtimes without external parsing libraries or bundler magic.
Designing an asynchronous, multi-threaded campus ride-sharing GUI in Java Swing that guarantees atomic seat allocation and transaction safety over a relational SQL database without UI freezing.
In collaboration with Mahadi
Strict deterministic real-time 60fps rendering of complex architectural structures without high-level scene graph abstractions, built directly in raw C++ and OpenGL.
Technical field notes and inquiries covering Linux, Ubuntu Server, Tailscale, WireGuard, SSH, systemd.
Technical field notes and inquiries covering Philosophy, Dostoevsky, Arcane, Determinism, Ethics.
Technical field notes and inquiries covering 8086 Assembly, Microprocessors, Low-Level Systems, Registers, Hardware Interrupts.
I am always interested in discussing neuro-symbolic reasoning, formal verification in healthcare, low-level graphics programming, or academic research initiatives.