Christian Rinderknecht
Founder at LigoLANG
Budapest, Hungary
Summary
👤
Senior🎓
Top SchoolChristian Rinderknecht is a founder and senior compiler engineer with 10+ years of experience designing programming languages, interpreters, and compilers, currently based in Budapest. He holds a PhD in computer science from UPMC/INRIA and has led front-end design for the LIGO compiler used for Tezos smart contracts while founding Turnstiles Kft. to develop language-theory-driven tools in functional languages. Deeply experienced in OCaml, he has built DSLs, transpilers, certified parsing solutions, and source-to-source transformation pipelines across domains from blockchain to spiking neural networks. His career blends academic rigor and industrial impact, spanning research and teaching roles in Europe and Asia and R&D at MathWorks and Alcatel-Lucent. Notably, he pairs formal-methods expertise with hands-on product delivery, producing parsers with provable error reporting and language tooling aimed at real-world correctness. Outside coding he plays the cello, reflecting a disciplined creativity that informs his engineering approach.
10 years of coding experience
17 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Informatics, Doctor of Philosophy (Ph.D.) Informatics at Sorbonne UniversitéDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Pierre and Marie Curie University
English, French, Spanish
Stackoverflow
281reputation
22kreached
1answer
0questions
Github Skills (17)
dub6
union-find6
sorting6
gnu6
mergesort6
language-agnostic6
algorithm6
javascript6
makefile5
solidity4
ocaml4
blockchain4
python4
dune4
ethereum4
Programming languages (3)
Github contributions (5)
rinderknecht/Mini-ML
Aug 2018 - Jan 2020
Contributions:55 commits, 16 pushes, 1 branch in 1 year 5 months
ligolang/ligo
Oct 2024 - Apr 2025
Contributions:49 reviews, 1 PR, 156 pushes in 6 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.