I am a 4th-year undergraduate studying CS and Math at the University of Hong Kong. I am currently doing research in Quantum Programming Languages at Max Planck Institute for Security and Privacy under Prof. Gilles Barthe. Before that, I did my bachelor's thesis on Capabilities as First-Class modules and Separate Compilation using first-class environments under the supervision of Prof. Bruno C. d. S. Oliveira. Previously, I worked as a research intern at the QICI (Quantum Information and Computation Initiative) lab under Prof. Ravi Ramanathan, where I researched the Device-Independent Quantum Key Distribution. I am interested in Programming Languages, Formal Verification, and Quantum Computing.

• HKUWW Exchange Scholarship ,
• Full-Tuition HKU Scholarship,
• Cathay Hackathon '23, won a Free Return ticket to Boston.
• Full Tuition Scholarship, @ Nixor College Karachi