Ingy Aly
Research Engineer at Saint-Gobain Research Paris
Aubervilliers, Ile-de-France
Summary
👤
Senior🎓
Top SchoolIngy Aly is a research engineer with 11 years of experience applying rigorous formal methods and machine learning to build safer, more reliable AI systems. She holds a PhD in Computer Science from the University of Virginia, where she implemented model checking features in PRISM and combined empirical ML tooling (PyTorch/Keras, Pandas, scikit-learn) with formal verification techniques. In industry roles from lead AI engineer at REEV to research positions at Saint-Gobain and Synapse Analytics, she has led data science projects spanning multi-agent reinforcement learning, NLP, and computer vision, and shipped production-ready algorithms in Python, Java and C++. Fluent in French and experienced across international research labs and startups, she blends rigorous academic research with pragmatic engineering, often surfacing visualizations and reproducible workflows to validate results. An understated strength is her cross-disciplinary background—from cryptography research at EPFL to course translation and teaching—which helps her communicate complex technical ideas to diverse audiences.
11 years of coding experience
7 years of employment as a software developer
Bachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at The American University in CairoExchange Student Computer Science, Exchange Student Computer Science at Roanoke CollegeHigh School French Baccalaureate Section S Math Concentration, High School French Baccalaureate Section S Math Concentration at Lycée Français du CaireDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Virginia
English, French, Arabic, Spanish, hieroglyphs
Github Skills (4)
checker10
prism9
multi-agent-reinforcement-learning3
python2
Programming languages (3)
Github contributions (5)
IngyN/ShowHideTerminalScript
Feb 2017 - Jul 2019
Contributions:2 pushes, 1 branch in 2 years 4 months
uva-linklab/CMSIS_NN_nrf52840
Oct 2018 - Nov 2018
Contributions:15 commits, 11 pushes, 1 branch in 25 days
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.