news

    imprimer

Nomination de Sandrine Blazy comme responsable du dÉpartement D4 "Langage et GÉnie Logiciel" de l'IRISA

Sandrine BLAZY, professeur à l'Université de Rennes 1, a pris la responsabilité de l'animation scientifique du département D4 "Langages et Génie Logiciel" de l'IRISA en remplacement de JM Jézéquel.

séparation actus

ConfÉrence de Gregor von Bochmann : "Un parcours d'enseignant-chercheur : contributions aux langages de programmation et aux protocoles de communication."

Contexte :
A l'occasion de la remise du titre Docteur Honoris Causa qui lui sera faite le vendredi 16 mars au Diapason par l'Université de Rennes 1, Gregor von Bochmann - professseur à l'université d'Ottawa - fera une conférence le mercredi 14 mars de 14h30 à 15h30

Lieu : Amphithéatre - Espace conférences Inria - Centre de recherche Inria Rennes-Bretagne Atlantique, Campus de Beaulieu à Rennes

Résumé de l'intervention :
Après un doctorat en physique théorique, Gregor Von Bochmann a commencé à travailler en informatique en 1971. Le choix d'un domaine  de recherche n'était pas facile. Dans le domaine des langages de programmation, on parlait beaucoup des systèmes d'écriture de compilateurs. Les aspects syntaxiques étant déjà bien étudiés depuis  plusieurs années, Gregor a adapté les attributs sémantiques à la compilation en plusieurs phases pour formaliser les aspects sémantiques des définitions de langage.
Puis, il a cherché un domaine de recherche moins exploré, et le trouva en 1974 dans les protocoles de communication. C'était le temps des premières expériences avec des réseaux d'ordinateurs et le concept de protocole était encore très vague.
Les travaux sur la spécification de protocoles, leur vérification, l'implantation et le test que Gregor a fait avec des collègues de différents pays ont fourni les fondements  pour le développement de protocoles de communication et leur normalisation. 
A la fin des années 1990, il a cherché d'autres domaines d'activité avec des problèmes à résoudre, et a travaillé sur la négociation de la qualité de service pour les applications multimédia, les systèmes pair-à-pair, et les réseaux optiques.

L'exposé de Gregor Von Bochmann retracera ce parcours de recherche effectué tout au long de sa carrière d'enseignant-chercheur à l'université.

 

 

 

 

 

    Actualites

    puce sandrine BLAZY NomMÉE responsable dpt "langage et gÉnie logiciel"
    Lire la suite >>

    puce ConfÉrence de Gregor von Bochmann
    Mercredi 14 Mars à 14:30
    Lire la suite >>

    Evenements

    SÉMINAIRE Dpt 1 - Systèmes Large Echelle
    puce Physical expander in virtual tree overlays
    Maria Gradinariu Potop-Butucaru
    Mardi 21 février
    Lire la suite >>

    SÉMINAIRE Dpt 4 : Sécurité et Méthodes Formelles
    puce Obfuscation by Partial Evaluation of Distorted Interpreters
    Roberto Giacobazzi
    Vendredi 2 mars
    Lire la suite >>

     

    logo Rennes1logo cnrslogo insalogo ens-cachan