Curriculum Vitae

Technical University of Munich · Munich, Germany

• Advisor: Prof. Bernd Finkbeiner.
• Member of the TUM Graduate School.

Saarland University · Saarbrücken, Germany

• GPA: 1.3 (German scale, 1.0 = best).
• Graduate coursework: Reinforcement Learning, Machine Learning in Cybersecurity, Neuro-Symbolic Computing, Automated Reasoning, Security, Machine Learning for Program Analysis, Automated Debugging.

The American University in Cairo · Cairo, Egypt

• GPA: 3.97/4.0 (American scale); Minor in Mathematics, GPA: 4.0/4.0.
• B.Sc. Thesis: "FLoBC: A Decentralized Blockchain-Based Federated Learning Framework."
• Mathematics Thesis: "On Theoretical Complexity and Boolean Satisfiability."

CISPA Helmholtz Center for Information Security · Saarbrücken, Germany

• Develop neuro-symbolic techniques for formal reasoning domains.
• Designed NeuRes, a framework for learning to solve Boolean Satisfiability.

Spree3D

• Developed an automated evaluation suite for Virtual Try-On models with neural KPIs such as structural similarity.
• Built an end-to-end deep learning pipeline for volumetric 3D hair generation from portrait images.
• Implemented and tuned a state-of-the-art video segmentation model that served most of our machine learning pipelines.
• Ran large-scale GAN-based dataset generation producing terabytes of training data.
• Collaborated on a deep learning pipeline producing 3D head geometry from portrait images.

Max Planck Institute for Software Systems (MPI-SWS)

• Developed a PyTorch implementation of a meta-learning technique that outperformed most benchmarks.
• Built a unifying Python library for prominent reward-shaping techniques, in the style of stable-baselines3.

Max Planck Institute for Informatics (MPI-INF)

• Conducted weekly tutorials on the foundations of automated theorem provers.
• Graded and gave feedback on student submissions.

Turing.com

• Developed an adaptive time-series model for predicting ad-campaign revenue that remains in production use.
• Created automated analytics reports for product and marketing teams.

Nabta Health Ltd.

• Created React Native components for four of the main app's primary features.
• Built NFC temperature sensor drivers on both native platforms (Android Java and iOS Objective-C).
• Implemented REST APIs for content fetching and database synchronization.

Dell

The American University in Cairo

• Awarded for outstanding academic performance.

CISPA Helmholtz Center for Information Security

• Recognized as a Silver Reviewer.