Christian Bliek
Scientist at 杉数科技（北京）有限公司
Valbonne, Provence-Alpes-Côte d'Azur, France
Summary
🤩
Rockstar🎓
Top SchoolChristian Bliek is a scientist and seasoned optimization software engineer with over 20 years of experience developing mathematical programming solvers, notably in interior point methods for linear, quadratic and second-order cone programming as well as nonlinear, mixed-integer and constraint programming. He led and contributed to IBM ILOG CPLEX R&D for nearly two decades and now applies his expertise at 杉数科技 in Valbonne, blending industrial solver development with research-grade rigor. His background spans academic research fellowships across European institutes and a PhD from MIT, reflecting a sustained focus on constraint satisfaction algorithms and numerical methods. An active contributor to formal mathematics tooling, he has refactored and extended lemmas in the influential math-comp library, showing a rare combination of practical solver engineering and formal-methods craftsmanship. Colleagues describe him as someone who translates deep numerical theory into robust, production-grade code and isn’t afraid to tinker with foundational proofs to improve correctness and maintainability.
10 years of coding experience
23 years of employment as a software developer
Burgerlijk Ingenieur, Elektro-Werktuigbouwkunde, Burgerlijk Ingenieur, Elektro-Werktuigbouwkunde at KU LeuvenPhD, Ocean Engineering, PhD, Ocean Engineering at Massachusetts Institute of TechnologyHigh School Diploma, Latin Mathematical Section, High School Diploma, Latin Mathematical Section at Sint-Michiels College Brasschaat
English, French, Spanish, Dutch, German
Stackoverflow
26reputation
158reached
2answers
0questions
Github Skills (9)
formal-verification10
coq10
ssreflect10
logical10
symbolic-logic10
logic10
java6
quadratic-programming6
cplex6
Programming languages (17)
Github contributions (5)
math-comp/math-comp
Nov 2019 - Oct 2021
Mathematical Components
Role in this project:
Back-end Developer
Back-end DeveloperContributions:78 reviews, 33 commits, 17 PRs in 2 years
Contributions summary:Christian primarily contributed to adding and refactoring lemmas within the mathematical components library. They focused on reflecting propositions, implementing new lemmas related to quantifiers, and adding cardinality-related lemmas. Their work involved modifications across several files within the mathcomp library, which is focused on formalizing mathematical concepts.
ssreflectmathdependent-typeshomotopy-type-theorysymbolic-computation
chdoc/dfhack
Dec 2023 - Mar 2025
Memory hacking library for Dwarf Fortress and a set of tools that use it
Contributions:2 PRs, 50 pushes, 28 branches in 1 year 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.