Hakan Metin
Site Reliability Engineer at Criteo
Greater Paris Metropolitan Region France
Summary
👤
Senior🎓
Top SchoolHakan Metin is a Site Reliability Engineer with nine years of experience combining deep research-grade problem solving and hands-on product engineering. After a PhD in Computer Science focused on exploiting dynamic symmetries to tackle SAT problems, he spent six years at WALLIX designing and maintaining security-critical products like Bastion and cloud platforms, and now brings that expertise to Criteo. He specializes in building robust, high-performance systems that bridge cybersecurity needs and scalable cloud infrastructure, with a strong emphasis on reliability and automation. Known for curiosity-driven exploration of new architectures, he blends formal methods background with practical engineering to optimize complex distributed systems. An often-unseen strength is his history of parallelizing SAT solvers and encoding verification problems in SMT, which informs his approach to fault-tolerant design and performance tuning.
9 years of coding experience
6 years of employment as a software developer
Master, Systèmes et Applications Répartis, Master, Systèmes et Applications Répartis at Pierre and Marie Curie University
French, Turkish, EnglishProgramming languages (2)
Github contributions (5)
lip6/cosy
Oct 2017 - Feb 2019
Contributions:27 commits, 17 pushes, 3 branches in 1 year 4 months
hakan-metin/sat_symmetry
Jan 2018 - Apr 2020
Contributions:90 pushes, 21 branches in 2 years 3 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.