Syed Muhammad Aqdas Rizvi
(smarizvi110)

Lahore University of Management Sciences (LUMS) | Lahore, Pakistan

Relevant Coursework: Networks and Systems, Data Structures/Algorithms, Software Engineering, Operating Systems, Databases, AI & ML, Natural Language Processing.

Transport, Networked Systems & Cross-Layer Research | Karachi, Pakistan

Independent research centered on transport protocols, service guarantees, network scheduling, and adjacent distributed/interactive systems questions.

CATS — Semantic Priority Mechanism

• Proposed CATS as a sender-side semantic-priority mechanism, first instantiated over commodity TCP through a custom C++/ns-3 “Interceptor and Feeder” architecture; this work culminated in the IEEE ICIC 2025 paper and its extended arXiv version. [Repository] The public repository currently corresponds to this original IEEE implementation.
• In a web-loading case study, improved a render-blocking-resource transfer-completion proxy by up to 78.7% in the worst-case enqueue order, without reducing total completion time.

Single-Connection Priority over TCP — Follow-on Study

• Used CATS over TCP as the main system for a separate study of what in-band priority can and cannot guarantee on a single TCP connection, adding just-in-time sequence assignment, a credit-based delay bound, non-starvation analysis, and three structural barriers across ordering, congestion-control coupling, and network-visible scheduling granularity.
• The study is publicly documented in arXiv:2606.16924, which also develops a QUIC escape and proof-of-concept. The follow-on implementation is not yet public; the linked CATS repository remains the original IEEE implementation.

QUIC Systems Research — CATS over QUIC (ongoing)

• Building a Rust/quiche testbed to evaluate CATS over QUIC while separating the mechanism from the transport’s own properties, with custom priority schedulers and instrumentation for allocator grants, transport acceptance, wire emission/retransmission, and application delivery.
• Running pre-registered, falsification-first experiments across streams/datagrams, priority-class counts, congestion controllers, loss, contention, and LEO/MEO/GEO regimes; the programme retains negative and non-reproducing results and tests explanations that extend beyond CATS itself.

Cross-Protocol Scheduling & Service-Guarantee Theory (ongoing)

• In parallel with the QUIC systems work, abstracting questions exposed by the TCP and QUIC studies into network-calculus/service-curve and online deadline-scheduling problems under shared ordering, admission, and controller state. Broader results are treated as ongoing unless established.

Distributed Consensus Reliability (Sentinel-Bench)

• Built an 840-inference intra-model ablation on Qwen-3.5-9B against adversarial DAO-governance prompts, isolating inference-time reasoning as the experimental variable. [View Repository]
• Measured 26.7% reasoning non-convergence, 72.6% trial-to-trial consensus stability, and a 17× latency overhead under extended reasoning; analyzed implications for AI oracles operating under BFT-style decentralized consensus constraints.

Interactive Semantic Video Seeking (ISVS) — Research Proposal

• Proposed a tri-tier Bitstream Parsing → Edge SVLMs → Cloud Multimodal Indexing architecture for non-linear media navigation, using zero-decode NAL-unit/VBR-manifest feature proxies to reduce pixel reconstruction and network backhaul.
• Formulated Poincaré-ball hyperbolic indexing and POMDP/MCTS-driven active navigation to minimize Time-to-Content; the roadmap includes sub-4-bit edge SVLM quantization and retrieval benchmarking. [View Specification]

Center for Speech and Language Technologies (CSaLT) | Lahore, Pakistan

• Conducted and published an arXiv literature review of Urdu Keyword Spotting (KWS), analyzing acoustic-modeling challenges and architectural directions for low-resource AI. [View Report]

PhysLab | Lahore, Pakistan

• Co-authored the Faraday’s Law experiment manual and developed MATLAB processing scripts; also refined a Surface Plasmon Resonance experimental setup. [View Project]

Risk Associates | Karachi, Pakistan

• Translate ISO/IEC 27001 & 42001 requirements into system-level controls spanning software architecture, data governance, access control, and AI lifecycle governance.
• Conduct enterprise threat modeling and risk assessments, and support AI Management System design and secure-pipeline oversight.

AI in Healthcare Initiative (AIHI), LUMS | Lahore, Pakistan

• Developed MigraineAid, an applied machine-learning platform for predicting migraine attack occurrences.
• Implemented its real-time analytics backend in Rust, integrating Firebase/Firestore, ML pipelines, and a JavaScript researcher dashboard.

TeReSol (for Bank AL Habib Limited) | Karachi, Pakistan

• Engineered reusable micro-frontend components for core banking software using a finite state machine (FSM) to manage strict workflows and API integrations under high-security constraints.