Moctar Ba
Software Engineer at Meta
United States
Summary
👤
Senior🎓
Top SchoolMoctar Ba is a software engineer with 11 years of experience building large-scale search infrastructure and user-facing features, most recently contributing to Search at Google before roles at Netflix and Meta. He has a strong systems and low-level background—evidenced by C/C++ verification tooling for ARM processors and embedded IoT work—and a master’s in computer science from UT Dallas. Moctar specializes in modernizing backend systems and shipping platform-level projects that enable new product experiences at scale. He’s comfortable across the stack, from timing-sensitive verification and embedded libraries to cloud-scale search systems, and brings a pragmatic engineering approach that blends research-rooted rigor with production delivery. An often-overlooked strength is his early experience automating data workflows and analytics, which helps him bridge infrastructure efforts with measurable product impact.
11 years of coding experience
6 years of employment as a software developer
Master of Science - MS Computer Science, Master of Science - MS Computer Science at The University of Texas at DallasBachelor & Master Electrical Engineering, Bachelor & Master Electrical Engineering at Grenoble INP - UGA
French, English, fula
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (11)
env7
latex7
science6
in-progress6
freertos4
computer-science4
gateway4
distributed-systems2
mqtt2
arm2
iot2
Programming languages (2)
Github contributions (5)
gueladjo/Snapshot
Jun 2018 - Jul 2018
Implementation of MAP protocol and Lamport snapshot protocol in Distributed Systems
Contributions:51 commits, 7 PRs, 33 pushes in 26 days
lamportdistributed-systemsmapsnapshotdistributed
gueladjo/ARM-Cortex-M-emulator
Sep 2015 - Dec 2015
Contributions:21 commits, 2 PRs, 19 pushes in 2 months
emulatorin-progressarm-emulatordebuggerarm
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.