Bienvenue!

English

Bonjour! Je m'appelle Sylvain Hallé et je suis présentement un professeur régulier au Département d'informatique et de mathématique à l'Université du Québec à Chicoutimi.

Étudiants potentiels? Lisez d'abord mes conseils, consultez la liste des projets où je recrute présentement, et n'hésitez pas à me contacter.

En dix secondes…

  • Mes recherches se concentrent sur la vérification automatique. Mes projets actuels couvrent le runtime monitoring dans les jeux vidéo, la détection d'erreurs de configuration dans les équipements réseau et l'application de séquences de navigation aux applications web. Je touche également aux bases de données et à la sécurité informatique.
  • J'ai appliqué mon expertise dans des projets de développement ou de consultation avec Ericsson Canada, Hydro-Québec, BlooBuzz, Novum Solutions et Cisco Systems. Je suis également consulté par certains bureaux d'avocats à titre de témoin expert dans le domaine du web.
  • Je suis le co-fondateur et actuel directeur actuel du Laboratoire d'informatique formelle de l'UQAC.
  • Parmi les récents prix que j'ai obtenus, on compte trois Best Paper Awards dans des conférences scientifiques internationales. Je suis également récipiendaire de deux médailles académiques du Gouverneur général.
  • Lorsque j'étais étudiant, j'ai fait partie d'un duo comiqué appelé Le Duo Tang; j'ai produit des émissions de télévision, plusieurs sketches pour la radio, trois spectacles complets et fus également impliqué dans la création du projet SMAC.

Liens Web 2.0

Puisque nous sommes en 2011 2012 2013, il faut bien quelques liens Web 2.0:

Remarquez l'absence de Facebook dans cette liste. Veuillez vous abstenir d'utiliser Facebook pour me joindre au sujet de mon travail.

Photo de moi

Derniers posts

  1. Deux nouveaux articles scientifiques acceptés pour publication
    Deux publications seront présentées à la conférence ICECCS 2014 en août prochain.
  2. Nouvel article scientifique accepté pour publication
    "Solving Equations on Words with Morphisms and Antimorphisms" sera présenté à LATA 2014.
  3. Article accepté à RV 2013
    ...sur l'utilisation de la vérification automatique dans le développement des jeux vidéo.
  4. Article accepté à MeDMoT 2013
    ...sur la validation automatique de traces au moyen des bases de données.
  5. Deux nouveaux articles
    ...sur l'exploration automatique du web et la combinatoire des mots.

Navigation