Toute l'actualité

Félicitations à Aurèle Barrière Aurèle Barrière a remporté le EAPLS Best Dissertation Award 2023 pour sa thèse intitulée "Formal verification of just-in-time compilation" sous la direction du Professeur Sandrine Blazy, par l’association EAPLS -European Association for Programming Languages and Systems. Ce prix est décerné au doctorant qui a apporté la contribution la plus originale et la plus [..]

Dans le cadre de la campagne synchronisée de recrutement des enseignants-chercheurs et enseignantes-chercheuses 2024, l’IRISA est laboratoire d’accueil pour une vingtaine de postes MCF ou PR , en lien avec les composantes de formation partenaires. Consultez la page

[Récompense] Encore félicitations à Sandrine Blazy, professeure à l'Université de Rennes et membre de l'équipe EPICURE, qui s'est vue décerner la médaille d'argent du CNRS Les recherches de Sandrine Blazy visent au développement de logiciels sûrs. Sa contribution se concentre sur les outils informatiques qui permettent à un programme écrit de devenir exécutable : les compilateurs.

Best paper award obtenu à MODELS, the ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems Félicitations à Olivier Barais (Professeur à l'Université de Rennes), Benoit Combemale (Professeur à l'Université de Rennes), Jean-Marc Jézéquel (Professeur à l'Université de Rennes) , Mathieu Acher (Professeur à l'INSA Rennes) tous membres de l'équipe de recherche DIVERSE [..]

Numérique & Développement Durable Découvrez les évènements du OFF! Program qui auront lieu dans la ville de Rennes et sur le campus de Beaulieu : - conférence de Jean Jouzel - conférence de Hugues FerreBoeuf/The Shif Project - performances artistiques au Diapason - débat dans un pub de la ville - table ronde avec des industriels, des décideurs politiques, des chercheurs N'attendez plus, découvrez [..]

Pour la première fois, ICT4S est organisée en France, à Rennes, du 5 au 10 juin 2023 ICT4S - The I nternational C onference on Information and Communications T echnology for S ustainability - est une conférence internationale annuelle consacrée à tous les types de recherche, de développement et d'application des Technologies de l'Information et de la Communication pour le développement durable [..]

Félicitations à Sandrine Blazy, Professeure à l’université de Rennes, spécialiste de sciences du logiciel et directrice adjointe de l'IRISA. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs. Sa contribution se concentre sur les outils informatiques qui permettent à un programme écrit de devenir exécutable : les compilateurs. Lire la suite sur le site du CNRS © Jean-Claude [..]

Dans le cadre de la campagne synchronisée de recrutement des enseignants-chercheurs et enseignantes-chercheuses 2023, l’IRISA est laboratoire d’accueil pour 12 postes MCF ou PR , en lien avec les composantes de formation partenaires. Consultez la page