Adrien Coulet
Researcher at Inria
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolAdrien Coulet is a researcher with 11 years of experience at the intersection of data science, knowledge representation, and biomedical informatics, currently co-leading HeKA, a digital healthcare research group at Inria in collaboration with Inserm, Université Paris Cité and AP‑HP. He applies data-driven and knowledge-guided methods to knowledge discovery and predictive modelling, with a focus on explaining drug response variability from healthcare data. His background spans academia and translational research, including postdoctoral work at Stanford School of Medicine and a decade teaching data engineering and knowledge-based systems. Known for bridging symbolic knowledge representation and practical predictive modeling, he brings both methodological rigor and clinical-data sensibility to collaborative projects.
11 years of coding experience
10 years of employment as a software developer
Université Grenoble Alpes
Github Skills (28)
tlaplus10
opam10
ssreflect10
cryptanalysis10
proofs10
verification10
crc10
fhe10
security10
ieee10
formal-verification10
coq10
cryptography10
compiler10
theorem-proving10
Programming languages (2)
Github contributions (5)
squirrel-prover/squirrel-prover
Jan 2019 - Jul 2022
The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
Contributions:1023 commits, 8 pushes, 1 branch in 3 years 5 months
provertheorem-provingsquirrelsecurityformal-verification
squirrel-prover/Squirrel-Prover.github.io
Jul 2022 - Sep 2024
Contributions:10 pushes in 2 years 2 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.