Mahmoud Sobier
Software Engineer at MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
United States
Summary
👤
Senior🎓
Top SchoolMahmoud Sobier is a software engineer with 11 years of experience who combines rigorous formal verification and applied machine learning to build reliable systems. He has research and engineering roles at MIT CSAIL—where he implemented and formally proved correctness of a DSL interpreter and a compact state-machine model for cryptographic code using Coq—and now works at Meta. His background spans production internships and research projects across bioinformatics, astronomy imaging pipelines, and affective ML, reflecting an ability to move from prototype models to deployable software. Mahmoud taught large introductory programming courses at MIT, showing strength in communicating complex ideas to diverse learners. Notably, he has translated deep formal proofs into practical implementations, an uncommon bridge between theorem proving and real-world engineering.
12 years of coding experience
2 years of employment as a software developer
Master of Engineering - MEng, Computer Science, Master of Engineering - MEng, Computer Science at Massachusetts Institute of TechnologyIB Diploma, IB Diploma at International BaccalaureateDubai American Academy
Github Skills (36)
hadoop-mapreduce10
apache-spark10
algorithms10
spark10
python10
data-engineering10
apache-hadoop10
dataframes10
monoid10
big-data10
machine-learning10
reducers10
pyspark10
mapreduce10
partitioning10
Programming languages (4)
Github contributions (5)
mahmoudparsian/data-algorithms-book
Aug 2014 - Feb 2017
MapReduce, Spark, Java, and Scala for Data Algorithms Book
Contributions:414 commits in 2 years 6 months
javamapreducescalasparkhadoop-mapreduce
mahmoudparsian/pyspark-tutorial
Mar 2015 - Jan 2018
PySpark-Tutorial provides basic algorithms using PySpark
Contributions:64 commits in 2 years 11 months
pysparkbig-databig-data-analyticsdata-algorithmsspark
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.