- 🎓 PhD student & Graduate Research Assistant at UMass Amherst.
- 🔭 Working on formal verification of quantum key distribution protocols.
- ⚡ Background in embedded systems, hardware design, ML, and full-stack development.
- simQKD — Simulate quantum key distribution protocols.
- ach-model-checking — Model checking ACH Banking Payment Specifications.
- Symbolic analysis of post-quantum TLS / KEMTLS and deployed protocols
- SDN-Based-Machine-Learning-IDS — Detect network attacks with machine learning.
- Bluetooth & eSIM protocol testbeds for real-world verification targets
- 🔐 qkd-fv-ieee-qce-demo — machine-checked proofs of QKD protocols (Tamarin); IEEE QCE artifact
- 🤖 cf_ai_mini_pdf_tutor — LLM-powered PDF tutor on Cloudflare Workers AI
- ⚙️ rv32i-processor-fpga — RISC-V RV32I processor implemented on FPGA
- 🧠 SDN-Based-Machine-Learning-IDS — ML intrusion detection for software-defined networks
Formal Verification & Security ███████████████████████ 23 projects
AI & Machine Learning ███████████████████ 19 projects
Software & Full-Stack ██████████████████ 18 projects
Embedded & Hardware ██████████████ 14 projects
74 tagged projects across 87 repositories — public and private.
🔬 Research & security work
- Machine-checked proofs of QKD protocols (Tamarin) — simQKD, IEEE QCE artifact
- Symbolic analysis of post-quantum TLS / KEMTLS and deployed protocols — lazyssl_constant, ach-model-checking
- Bluetooth & eSIM protocol testbeds for real-world verification targets
🤖 AI & ML projects
- cf_ai_mini_pdf_tutor — LLM PDF tutor on Cloudflare Workers AI
- LogicTune — ML for logic optimisation
- SDN-Based-Machine-Learning-IDS — ML intrusion detection
- RepeaterchainOptimisation — quantum-network optimisation
- Event-Driven-Swarm-Configuration — swarm configuration via ML
⚙️ Hardware & embedded
- rv32i-processor-fpga — RISC-V RV32I core on FPGA
- Nucore-microprocessor — custom microprocessor design
- ENIGMA-Logic-Locking-Framework — logic locking for hardware IP protection
- Bresenham-Circle-Algorithm-Hardware-Accelerator — hardware accelerator
- Real-time-Fire-Alarm-Detector-using-ESP32 — ESP32 embedded system