hayder

I work at the intersection of systems, machine learning, and theoretical computer science. I am a visiting researcher at Dr. Kinan Dak Albab's SPACE Lab at Boston University and at Dr. Minlan Yu's lab at Harvard University. I am also co-founder and CTO of Dorcha.

[github][scholar]

Background
I have worked at multiple tech companies including Stripe, Bloomberg, and Google. I obtained an M.S. in Computer Science from Harvard with a 4.0 GPA. I received a second M.S. in Cybersecurity from the City College of New York with a 4.0 GPA. My advisor at Harvard was Dr. Minlan Yu and my advisor at CCNY was Dr. Allison Bishop. I was an adjunct professor at Adrian College, where I taught an advanced-undergrad course focused on Systems + ML. I was a teaching fellow at Harvard for CS 145: Networking at Scale. I also designed assignments for Dr. Allison Bishop's graduate-level Adversarial AI course at CCNY.

← click the cat

• Orla: A Library for Serving LLM-Based Multi-Agent Systems. CAIS 2026 (Systems Demonstration Track). [arxiv]
• DRCY: Agentic Hardware Design Reviews. CAIS 2026 (Systems Demonstration Track). [arxiv]
• Adversary Resilient Learned Bloom Filters. AsiaCrypt 2025. [arxiv]
• Cheetah: Accelerating Database Queries with Switch Pruning. SIGMOD 2020. [arxiv] [acm]
• Borg: the Next Generation. EuroSys 2020. [acm] [google]
• SwitchV: Automated SDN Validation. SIGCOMM 2022. [acm]
• cISP: A Speed-of-Light Internet Provider. NSDI 2022. [usenix] [pdf]
• A Cloud-based Content Gathering Network. HotCloud 2017. [usenix] [pdf]
• All Proof of Work but No Proof of Play. CFAIL 2025. [arxiv]

• Whistledown: Combining User-Level Privacy with Conversational Coherence in LLMs. [arxiv]
• Adversarially Robust Bloom Filters: Privacy, Reductions, and Open Problems. [arxiv] [eprint]
• An Introduction to Protein Cryptography. [eprint]
• LSM Trees in Adversarial Environments. [arxiv] [eprint]
• Random Number Generation from Pulsars. [arxiv] [eprint]
• Computational Complexity of Game Boy Games. [arxiv]