UMONS > Faculté des sciences >Institut d'Informatique >Quentin Hautem

Change language: Fr|En

     Quentin Hautem


Résumé

Je suis chercheur boursier FRIA à l'Institut d'Informatique de la Faculté des Sciences de l'Université de Mons (UMONS). Je réalise une thèse de doctorat sous la direction de Véronique Bruyère et la co-direction de Jean-François Raskin et Mickael Randour dans le service d'Informatique Théorique de l'UMONS.

Avant de débuter ma thèse de doctorat en Octobre 2014, j'ai suivi mon Bachelier et mon Master en Sciences Mathématiques au Département de Mathématiques de l'Université de Mons.

Recherche

Ma recherche se situe entre le domaine de la Vérification de systèmes informatiques réactifs et la Théorie des Jeux. Plus précisément, je m'intéresse à des jeux quantitatifs à plusieurs dimensions joués par deux joueurs antagonistes.

Publications

  • On the Complexity of Heterogeneous Multidimensional Quantitative Games. Véronique Bruyère, Quentin Hautem, Jean-François Raskin. CONCUR 2016, LIPICS 59, pages 11:1--11:15, Schloss Dagstuhl, 2016. Full paper on arXiv
  • Window parity games: an alternative approach toward parity games with time bounds. Véronique Bruyère, Quentin Hautem, Mickael Randour. GandALF'16, to appear in EPTCS, 2016. Extended version on arXiv (25 pages).
  • Présentations

    1. On the complexity of heterogeneous multidimensional quantitative games. Slides
      • Highlights Of Logic, Games and Automata - Prague. Septembre 2015
      • 6th Meeting of CASSTING, Cachan. Octobre 2015
      • MFV Seminar, ULB, Belgium. Décembre 2015
      • Summer School MOVEP2016, Genova, Italy. Juin et Juillet 2016
      • The 27th International Conference on Concurrency Theory (CONCUR2016), Québec, Canada. Août 2016
    2. Printemps des Sciences, 180 secondes ma thèse, Frameries, Belgique. Mars 2016
    3. Séminaire Jeunes, Mons, Belgique. Février 2016 (Slides en dessous)
    4. Window parity games: an alternative approach toward parity games with time bounds. Slides
      • Workshop CASSTING, ETAPS 2016, Eindhoven. Avril 2016
      • Highlights Of Logic, Games and Automata - Brussels. Septembre 2016
      • The 7th International Symposium on Games, Automata, Logis, and Formal Verification (GandALF2016), Catania, Italy. Septembre 2016

    Séminaire Jeunes

    Depuis l'année académique 2015-2016, j'organise le Séminaire Jeunes. Celui-ci consiste en des présentations vulgarisées du domaine de recherche des jeunes chercheurs (parfois moins) des Départements de Mathématiques et d'Informatique. La liste des présentations et des slides se trouvent ci-dessous.

    Année 2015-2016

    Enseignement

    Je dirige actuellement le projet du cours d'Algorithmique et Bioinformatique donné par Olivier Delgrange aux étudiants en 1ère année du Master en Sciences Informatiques.

    Adresse

    Quentin Hautem

    Email: quentin.hautem replaceBy@ umons.ac.be
    Tel: +32.65.37.34.49
    Fax: +32.65.37.34.59

    Localisation           Adresse postale
    Institut d'Informatique Institut d'Informatique
    Université de MonsUniversité de Mons
    Batiment Le Pentagone
    Avenue du champ de mars, 6Place du Parc, 20
    7000 Mons7000 MONS
    BelgiqueBelgique