Inria est un institut de recherche en informatique qui emploie plus de 4000 personnes et contient environ 180 équipes-projets, donc c'est très large. Je ne comprends pas trop ta question; mais tous les contributeurs ne font pas partie de cette équipe de recherche (c'est un projet libre donc il y a pas mal de gens de la communauté qui ont contribué quelque chose, ne serait-ce qu'en rapportant des bugs et en aidant les débutants sur la mailing-list, mais aussi de plus grosses contributions). De mémoire (et sans garantie que c'est correct) je dirais que les principaux mainteneurs de fait ces derniers mois sont, dans le désordre, Xavier Leroy et Damien Doligez (équipe Gallium), Alain Frisch (Lexifi (industrie)) et Jacques Garrigue (Université de Nagoya).
[^] # Re: Maintenance par l'inria ?
Posté par gasche . En réponse au journal Annonce : un blog sur une équipe de recherche en langages de programmation. Évalué à 7.
Inria est un institut de recherche en informatique qui emploie plus de 4000 personnes et contient environ 180 équipes-projets, donc c'est très large. Je ne comprends pas trop ta question; mais tous les contributeurs ne font pas partie de cette équipe de recherche (c'est un projet libre donc il y a pas mal de gens de la communauté qui ont contribué quelque chose, ne serait-ce qu'en rapportant des bugs et en aidant les débutants sur la mailing-list, mais aussi de plus grosses contributions). De mémoire (et sans garantie que c'est correct) je dirais que les principaux mainteneurs de fait ces derniers mois sont, dans le désordre, Xavier Leroy et Damien Doligez (équipe Gallium), Alain Frisch (Lexifi (industrie)) et Jacques Garrigue (Université de Nagoya).