Hamza Bourbouh
Senior Software Engineer at Google DeepMind
Menzingen, Zug, Switzerland
Summary
👤
Senior🎓
Top SchoolHamza Bourbouh is a Senior Software Engineer with a decade of experience building safety-critical and large-scale AI systems, currently contributing to Gemini Multimodal & Multilingual at Google DeepMind. He has 2+ years hands-on experience with LLMs across post-training, reinforcement learning, and end-to-end product integration, and earlier led performance and cross-platform Assistant infrastructure work at Google. His background in formal verification at NASA Ames includes developing CoCoSim and compiling Stateflow into Lustre for rigorous model checking of aerospace systems, giving him uncommon expertise in provable correctness for complex embedded systems. Hamza holds a PhD in Mathematics and Computer Science from ISAE-SUPAERO and blends deep theoretical training with practical cross-language engineering (C++, Java/Kotlin, Dart). Based in Menzingen, Switzerland, he bridges research-grade verification and production ML, often focusing on internationalization and multimodal robustness. An engineer who moves fluidly between formal methods and modern ML stacks, he brings a rare combination of safety, performance, and product-minded delivery.
10 years of coding experience
8 years of employment as a software developer
Preparatory classes for the top-ranking higher engineering schools. Mathematics and Physics, Preparatory classes for the top-ranking higher engineering schools. Mathematics and Physics at CPGE Reda Slaoui AGADIRMaster's degree Mathematics and Information technology, Master's degree Mathematics and Information technology at ENSEEIHT - Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et des TélécommunicationsDoctor of Philosophy - PhD Mathematics and Computer Science, Doctor of Philosophy - PhD Mathematics and Computer Science at ISAE-SUPAERO
French, English, Arabic
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (27)
tla10
simulink10
verification10
model-checking10
stateflow9
assembly9
python9
formal-methods9
checker8
lustre7
swift7
cpp7
rust6
smt6
haskell6
Programming languages (7)
Github contributions (5)
coco-team/cocoSim-deprecated
Aug 2016 - Apr 2017
Contributions:1 release, 157 commits, 126 pushes in 8 months
pythonsimulinkstateflowanalysis-frameworkautomated-analysis
NASA-SW-VnV/CoCoSim
Aug 2017 - Oct 2020
Automated Analysis Framework for Simulink/Stateflow models.
Contributions:4 releases, 932 commits, 1 PR in 3 years 2 months
model-checkingpythonsimulinkstateflowtla
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.