Vincent Danos
Co-Founder at University of Edinburgh
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolVincent Danos is a mathematician-turned-entrepreneur with a PhD and three decades of research in logic and theoretical computer science, now co-founding Mangrove while holding senior research posts at CNRS and Edinburgh. He specializes in formal languages, stochastic and distributed systems, and has applied those methods to complex domains from biomolecular networks to blockchain architectures. His career blends deep theory—chairs and visiting roles at institutions like the Santa Fe Institute and Harvard Medical School—with practical modeling and formal analysis that drive real-world system design. Vincent is adept at turning formal methods into usable tools for analyzing distributed behaviors, an ability that makes him valuable to both academic and product-focused teams. Based in Paris, he brings 15 years of industry-facing experience on top of a long academic trajectory, offering rare cross-disciplinary fluency. Colleagues describe him as someone who consistently connects abstract logical frameworks to tangible system engineering challenges.
14 years of coding experience
2 years of employment as a software developer
École PolytechniquePhD maths, PhD maths at Université Paris CitéLycee Saint-Louis
Github Skills (86)
kappa10
jupyter-notebook10
simulation10
deprecated10
python9
ocaml9
pandas8
linux8
deep-learning8
ruby8
homebrew8
scikit-learn8
machine-learning8
otp8
binaries8
Programming languages (7)
Github contributions (5)
vd1/simu
Aug 2023 - Mar 2025
Contributions:43 pushes, 1 branch in 1 year 7 months
igarnier/micro-proto
May 2019 - Mar 2020
Contributions:7 pushes, 1 issue in 9 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.