Romain Tetley
Ingénieur Recherche at Inria
Nice, Provence-Alpes-Côte d'Azur, France
Summary
🤩
Rockstar🎓
Top SchoolRomain Tetley is a research engineer based in Nice with three years of postdoctoral software engineering experience at Inria, where he builds developer tools and scientific software—most recently leading development of VsRocq, an IDE for the Rocq proof assistant. His background blends a PhD in computer science and bioinformatics with hands-on work across Qt/QML, Ruby on Rails, OCaml and TypeScript, enabling him to move between scientific visualization, bio-reactor control systems, and formal-methods tooling. Comfortable in both R&D and product-facing projects, he has delivered solutions for defense simulation, bioinformatics research, and interactive live music experiences through a startup studio. Notable for translating deep domain knowledge into polished developer tools, he combines academic rigor with practical engineering to make complex systems more accessible.
3 years of coding experience
Ecole normale supérieure de LyonDocteur en Informatique, Computer Science, Docteur en Informatique, Computer Science at Université Côte d'Azur
Github Skills (101)
visual-studio-code-extension10
dependent-types10
linux10
editor10
package-repository10
coq10
vscode-extension10
ocaml10
vscode10
theorem-proving10
algorithms10
proof-assistant10
vscodium10
ssreflect9
opam9
Programming languages (10)
Github contributions (5)
rtetley/platform
Oct 2023 - Feb 2025
Contributions:71 pushes, 16 branches in 1 year 4 months
rtetley/coq
Oct 2023 - Feb 2025
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Contributions:19 pushes, 5 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.