Computer Science, Data Systems & Infrastructure
Core algorithms, distributed systems, and modern data-intensive infrastructure.
Core Sub-topics & Research Themes
Distributed Consensus & Fault-Tolerant Protocols
Paxos, Raft, Byzantine fault tolerance (BFT), clock synchronization, vector clocks, and linearizability guarantees.
Data-Intensive Systems & Storage Engines
Log-Structured Merge-trees (LSM), B-trees, append-only logs, write-ahead logs (WAL), and distributed query optimization.
Compiler Engineering & Formal Verification
Static single assignment (SSA), intermediate representations (IR), type theory, automated theorem proving, and abstract interpretation.
Graph Algorithms & Combinatorial Complexity
Network flows, spectral graph partitioning, shortest paths in dynamic graphs, and NP-hard approximation bounds.
Cloud Infrastructure, Kernel & Network Virtualization
eBPF tracing, user-space networking (DPDK), memory safety in systems programming, and hypervisor scheduling.
Mathematical & Applied Methodologies
Formal Specifications & TLA+
Mathematical state-space verification for concurrent protocols and distributed commit systems.
Systems Benchmarking & Trace Profiling
Empirical CPU cache-line, memory bandwidth, and tail latency (p99.9) measurement methodologies.
Dual-Engine Educational Frameworks
Scaffolded pedagogical architectures uniting tangible paper with reproducible digital runtimes.
Monographs & Publications in this Field
Project: Website (প্রজেক্ট: ওয়েবসাইট)
সিজন ১: ভলিউম ১ — ব্লুপ্রিন্ট ও কাঠামো (HTML)
Authors / Editorial Board: মোঃ গোলাম মুবাশশির রাফি ও আফসারা তাসনিম জোয়া
- Dual-engine tactile workbook + browser cloud sandbox
- Vector-watermarked licensed individual editions
- Architectural block diagrams with tag cheat-sheets
Computational Sciences & Structural Thinking
Foundational Monograph · Series 01
Authors / Editorial Board: Algorism Press Academic Board
- Historical lineage from 9th-century algorism to modern graphs
- Formal state transition proofs and memory layout analysis
- Complete executable implementations in Rust and Python
Publishing in this Discipline
We welcome monograph and course-text proposals within this discipline. Every volume undergoes structural peer appraisal, code verification, and custom typographic design.