Martin Quinson
Professor at École normale supérieure de Rennes
Greater Rennes Metropolitan Area France
Summary
👤
Senior🎓
Top SchoolMartin Quinson is a Full Professor of Computer Science with 22 years of experience specializing in simulation and formal verification of large-scale distributed, Grid/Cloud and HPC applications. He combines deep academic research—PhD and postdoc work in distributed systems and platform monitoring—with extensive teaching in algorithms, systems, networks and parallel programming. Based at École normale supérieure de Rennes, he leads research and outreach efforts while maintaining a long-standing hands-on presence in open-source (Debian maintainer of projects like simgrid and others). His career blends rigorous formal methods with practical system-building, evidenced by multi-institutional collaborations (INRIA, LORIA, UCSB) and sustained contributions to reproducible simulation tooling. Notably, he pairs theoretical insight with community stewardship, growing both research impact and computer science literacy beyond the lab.
22 years of coding experience
12 years of employment as a software developer
Master, Computer science, Master, Computer science at Université Jean Monnet Saint-EtiennePhd thesis, Computer Science, Phd thesis, Computer Science at Ecole normale supérieure de LyonMaster thesis, Computer science, Master thesis, Computer science at École normale supérieure de Lyon
French, English, German
Stackoverflow
1,347reputation
48kreached
43answers
1question
Github Skills (200)
vim10
mat10
typesetting10
cpp10
apple-silicon10
top-down10
localization10
api10
json10
multiplayer10
command-line10
restructuredtext10
python10
windows10
collaboration10
Programming languages (24)
Github contributions (5)
BuggleInc/PLM
Oct 2008 - Nov 2021
Programmer's Learning Machine
Contributions:7 releases, 2726 commits, 29 PRs in 13 years 3 months
pythonmachine-learning
simgrid/simgrid-FMI
Mar 2018 - Nov 2018
MIRROR of SimGrid-FMI. Please go to FramaGit :
Contributions:17 commits, 5 pushes, 1 branch in 8 months
simgridfmi
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.