Currently

• Research Assistant at The American University in Cairo
  • Co-advised by both Dr. Daoud Siniora and Dr. Amr El-Mougy.
  • Ethical Autonomous Vehicles with Provable Guarantees.
  • Combining Learning-driven Deep Reinforcement Learning with Proven Logical Model.

Interests

• Computational Social Choice, and broadly economics & computation theory.
• Provable algorithms on continuous structures.
• Learning-augmented algorithms.
• Trustworthy and Machine Learning Theory.

Vision

The internet revolutionized humanity’s connectivity, and AI revolutionized information flow, and yet rarely do we cooperate. Socialists have ambitions for Collective Intelligence, A paradigm of AI which enables coherent cooperation among the crowd, but it is not recognized in technical communities.

Theoretical research of optimization, fairness, and social-choice is active on combinatorial structures, but their applicability is limited. Practitioners train predictive models on crowds’ data, but their pragmatic methods lack theoretical understanding.

I aspire to:

1. Study social choice on structures other than combinatorics, Probably on continuous data, Expanding novel ideas, techniques, and applications. I liked Generative Social Choice.

2. Extend learning-augmented algorithms on computational social choice and algorithmic game theory, Utilizing data to shed new lights on algorithmic fairness and economics. I liked Learning-Augmented Mechanism Design: Leveraging Predictions for Facility Location.

Both of which, Emphasized on theoretical foundations and provably guaranteed frameworks using proof and logic techniques.

I will always be remembering Oded and Avi’s 1996 essay.

Society & Community. I am delighted to moderate TCS’s subreddit and TCS’s awesome list, Getting the chance to meet students from all over the world.

Good Memories.

• ACM’s Economics & Computation Winter Gathering, With Alvin Roth and Noam Nisam
• Asking Gkatzelis about Learning-Augmentation for Voting and Fairness
• Chi-Ning Chou’s Minicourse (course details here)
• COLT 2021 Mentorship Workshop
• Rahul Llango’s talk, Towards Hardness for the Minimum Circuit Size Problem
• qEgypt’s First Workshop on Quantum Computing
• My Poly Hong Kong Talk
• Toric Quantum Error Correction Codes, Quantum Discord Server
• Honors Linear Algebra, UCLA
• 4-player chess with Ewin Tang, Kuikui Liu, and Ansh Nagda.
• Yael Kalai’s QnA on obfuscation’s breakthrough.
• FOCS 2020 (I was granted registration fee waiver). see: 1, 2, 3, 4. I learned about it through twitter.
• Scott Aaronson’s QnA.

Family. Mum & Dad (Lawyer), Brother (Athlete Coach), Sister (Passed out aged 14).