Mina Gamil
Production Engineer at Meta
Dublin, Dublin 1, Egypt
Summary
🤩
Rockstar🎓
Top SchoolMina Gamil is a production engineer with seven years of hands-on experience building reliable, high-performance systems across startups and hyperscale companies, currently on Meta’s infrastructure team. He combines deep site-reliability and backend expertise with a strong background in HPC, having implemented CUDA/OpenCL GPGPU solutions, vectorized CPU code, and achieved dramatic speedups in computational linear algebra. Mina has shipped kernel-livepatching and model-evaluation features at Canonical and Microsoft, contributed core placement and hybrid-cell algorithms to the OpenROAD project, and automated failure detection and capacity recovery at Meta. A high-achieving graduate of AUC (3.98/4.00) now pursuing an MS at Georgia Tech, he uniquely blends low-level systems work with cloud-scale production engineering. Outside work he’s an educational content creator on cybersecurity and reverse engineering, producing one of the first Arabic courses in the space.
7 years of coding experience
3 years of employment as a software developer
Master of Science - MS, Computer Science, A, Master of Science - MS, Computer Science, A at Georgia Institute of Technologyhigh school, GPA 4.00. Top Student over all Egyptian STEM Schools - الأول علي الجمهورية 2018, high school, GPA 4.00. Top Student over all Egyptian STEM Schools - الأول علي الجمهورية 2018 at STEM IsmailiaBachelor of Science - BS, Computer Engineering, 3.98/4.00, Bachelor of Science - BS, Computer Engineering, 3.98/4.00 at The American University in Cairo
Arabic, English
Stackoverflow
353reputation
8kreached
9answers
19questions
Github Skills (38)
verilog10
vlsi10
eda10
cpp10
tcl10
identity-manager8
charm8
user-friendly8
simplification7
rewrite7
roberta6
nlp6
error-correction6
scalable6
data-preprocessing6
Programming languages (5)
Github contributions (5)
mina1460/OpenROAD
Feb 2023 - Feb 2024
Contributions:5 PRs, 260 pushes, 22 branches in 11 months
mina1460/tera_sort
Jan 2021 - Jan 2023
Contributions:3 pushes, 6 branches in 1 year 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.