Jean Krivine
Deputy Director (DUA) at IRIF (Institut de Recherche en Informatique Fondamentale)
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolJean Krivine is a computer scientist and technology leader with nine years of industry experience and a long academic pedigree in concurrency theory, programming language design, and formal verification. Currently Deputy Director at IRIF and a CR at CNRS, he blends deep theoretical work—PhD on reversible process algebra and postdoctoral research with Robin Milner—into practical tooling such as the Kappa factory for biomolecular simulation. He has led engineering and product efforts as CTO at startups while maintaining research roles that span systems biology, smart contracts, and concurrent systems. Fluent in C, Lisp, OCaml, Python and Solidity, he moves smoothly between proofs, language design and hands-on implementation. Less visible but distinctive: he applies concurrency and bigraph semantics to real-world domains like synthetic biology and blockchain, bridging rigorous models with deployable simulation and analysis software.
9 years of coding experience
5 years of employment as a software developer
Bachelor of Science (BS) Computer Science, Bachelor of Science (BS) Computer Science at Université Paris CitéDoctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at Pierre and Marie Curie University
English
Github Skills (34)
foundry10
solidity10
kappa10
bots10
solc10
decentralized-exchange10
sdk10
ethereum10
blockchain10
smart-contracts10
nodejs9
typescript8
tooling8
simulation8
testing8
Programming languages (6)
Github contributions (5)
mangrovedao/mangrove-core
Nov 2021 - Mar 2023
🌴 Core smart contracts for Mangrove with deployment scripts and example offer logics
Contributions:4 releases, 97 reviews, 712 commits in 1 year 4 months
foundrylogicsmangroveethereumdeployment
mangrovedao/mangrove.js
Nov 2021 - Feb 2023
Contributions:11 releases, 63 reviews, 713 commits in 1 year 3 months
mangroveyarnbotweb3sdk
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.