Sylvain Hallé est professeur titulaire au Département d'informatique et de mathématiques de l'Université du Québec à Chicoutimi depuis 2010. Il est également titulaire de la Chaire de recherche du Canada en spécification, test et vérification de systèmes informatiques, de même que le co-fondateur du Laboratoire d'informatique formelle de l'UQAC. Auparavant, il a obtenu un doctorat en informatique de l’UQAM et a travaillé comme chercheur postdoctoral à l’University of California, Santa Barbara, de 2008 à 2010. Ses travaux de recherche se concentrent sur le test et la vérification passive de systèmes informatiques au moyen de différentes techniques. Les outils développés par son équipe ont été appliqués dans des domaines variés, allant des applications web aux jeux vidéo et à la sécurité informatique.

Son programme :

  • Cours du 12 octobre 2018 - 9h30-12h30 - Master 2 - Informatique pour la Science des Données (ISD) - PUIO - Batiment 640 - Rue Louis de Broglie - 91400 Orsay
  • Cours du 22 novembre 2018 - 13h30 - 16h30 - Master 2 - Informatique pour la Science des Données (ISD) - PUIO - Batiment 640 - Rue Louis de Broglie - 91400 Orsay
  • Séminaire vendredi 23 novembre 2018 - 10h à 11h30 - LRI - Batiment 650 - salle des thèses - 91400 Orsay
    • Titre: Quelques problèmes actuels en analyse des flux d'événements
    • Résumé:
Beaucoup de problèmes informatiques peuvent être vus comme une forme de traitement sur un flux continu composé d'éléments de données appelés "événements". Par exemple, l'observation des logs enregistrés par un système lors de son exécution peut être mise à profit pour détecter des bugs dans son exécution, ou simplement calculer des métriques reflétant ses performances. Au Laboratoire d'informatique formelle (LIF) de l'Université du Québec à Chicoutimi, une équipe de chercheurs et d'étudiants a développé une plateforme générique de traitement de flux d'événements, appelée BeepBeep. Nous verrons dans cette présentation quelques uns des problèmes ouverts sur lesquels se penchent les membres du LIF, plus particulièrement en ce qui concerne l'application du data mining et du développement de sous-langages permettant d'exprimer des propriétés spécifiques à un domaine particulier.
Plan accès campus UPSud - Orsay