Skip to content
View hurault's full-sized avatar
Block or Report

Block or report hurault

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
hurault/README.md

Maître de conférences (HDR) - Toulouse INP / IRIT

Mini-CV

  • Maître de conférences à l'IRIT - Toulouse INP ENSEEIHT - Équipe ACADIE -- depuis novembre 2007
  • Chercheuse invitée au NII, Tokyo, Japon -- 15 mars - 20 oct. 2007 (7 mois)
  • Attachée Temporaire d'Enseignement et de Recherche à l'ENSEEIHT, Toulouse, France -- 1ier sept. 2006 - 14 mars 2007
  • Allocataire de recherche MENRT à l'IRIT, Toulouse, France -- 1ier oct. 2003 - 1ier sept. 2006
  • Monitrice à l'ENSEEIHT, Toulouse, France -- 1ier oct. 2003 - 1ier sept. 2006

Recherche

Domaines de recherche

Méthodes formelles appliquées

  • Intelligence artificielle
    • Certification d'algorithmes d'explicabilité
  • Systèmes distribués
    • Formalisation des systèmes distribués
    • Communication assynchrone
  • Algèbre linaire
    • Courtage de services en calcul scientifique
    • Unification modulo une théorie équationelle
    • Grille de calcul
  • Composition de services

Habilitation à Diriger des Recherches

  • Soutenue le 06/04/2018
  • Titre : "Formalisations pour les compositions de services"
  • Manuscrit : pdf
  • Présentation : pdf

Publications

Toutes mes publications sont disponibles ici IRIT mais aussi ici DBLP.

Enseignement

  • Algorithme et programmation :
    • Technologies objet
    • Programmation fonctionnelle
  • Théorie de langages / Compilation
    • Automates finis déterministes, non déterminisme, minimisation, expressions régulières
    • Grammaires formelles, contextuelles, algébriques, linéaires
    • Automates à piles, Machine de Turing
    • ADR, grammaires LL(1), schéma de traduction
    • Compilation
  • Spécifications formelles
    • Simulation / bissimulation
    • Systèmes de transistions
    • Utilisation de TLA+ en TP

Responsabilités

  • Responsabilités administratives liées à l'enseignement
    • Co-directrice adjointe du département Sciences du Numérique de l'ENSEEIHT
    • Responsable de la formation Informatique et Réseaux par la voie de l'apprentissage du département Sciences du Numérique de l'ENSEEIHT
    • Responsable des relations internationales pour le départements Informatique et Mathématiques Appliquées de l'ENSEEIHT (2011-2017).
    • Membre fondateur de la formation par apprentissage en Informatique et Réseaux de l'ENSEEIHT
    • Membre du conseil de département du département Sciences du Numérique de l'ENSEEIHT.
  • Responsabilités scientifiques

Contact

  • 📞 +33 (0)5 34 32 22 02
  • 📧 hurault@(REMOVE THIS ANTISPAM)enseeiht.fr

Recrutement

  • Offre de stage de M2 pdf
  • Offre de thèse pdf
  • Offre de postdoctorat sur la certaification d'algorithmes d'explicabilité de l'IA

@hurault's activity is private