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, 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 - 2016
   • 180 secondes ma thèse, Frameries, Belgique. Mars 2016
   • Atelier (co-organisé avec Olivier Delgrange et David Hauweele) sur le séquençage d'ADN, donné au PASS, 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
• Centre Fédéré en Vérification - Bruxelles, Belgique. Mai 2017
5. Printemps des Sciences 2017:
   • Journée Math-Sciences: atelier "Jouer n'est pas qu'un jeu" (slides: voir page de Mickael Randour) donné à l'UMONS avec Pierre Carlier et Marion Hallet, Mons, Belgique. Mars 2017
   • Week-end Printemps des Sciences, Lotto Mons Expo: Atelier (co-organisé Véronique Bruyère, Hadrien Mélot et Gauvain Devillez) sur les graphes dans les réseaux sociaux, Mons, Belgique. Mars 2017
6. Séminaire Jeunes, Mons, Belgique. Décembre 2017 (Slides en dessous)
7. Journée Math-Sciences: atelier "A vous de jouer" (Slides) donné à l'UMONS avec Aline Goeminne, Marion Hallet et Mickael Randour, Mons, Belgique. Mars 2017

Organisation

1. Membre de l'équipe d'organisation du congrès Highlights 2016 à Bruxelles.

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

• Tom Mens : Sujets de recherche en mod élisation et évolution logicielle, et en interaction homme-machine. Slides
• Quentin Hautem : La Vérification à l'aide des jeux. Slides
• David Sbabo (Jésus) : Représentations p-adiques. Slides
• Gauvain Devillez : Un outil de preuve en théorie des graphes. Slides
• David Hauweele : Piles économes en énergie dans les Réseaux de Capteurs sans Fil. Slides
• Quentin Lambotte : Expansions superstables du groupe des entiers. Slides
• Christophe Troestler : Propriétés qualitatives de solutions d'équations aux dérivées partielles non-linéraires. Slides
• Pierre Hauweele : Découverte assistée par ordinateur dans la théorie des graphes. Slides
• Monia Mestiri : Existence de vecteurs A-hypercycliques communs. Slides
• Pierre Carlier : Atteignabilit é dans les automates temporis és et stochastiques . Slides
• Nicolas Gillis : La réduction de dimension et ses applications. Slides
• Céline Nihoul : Outils didactiques et méthodologie pour mieux comprendre les difficultés d'enseignement des droites et des plans dans l'espace. Slides
• Jef Wijsen : Modéliser et interroger des données incertaines. Slides

Année 2016-2017

• Maelick Claes : Analyses empiriques d'écosystèmes logiciels. Slides
• Jérémy Dubrulle : Différentiation de traffic dans les réeaux de capteurs.
• Hadrien Mélot : Prouver les propriétés extrémales d'un graphe. Slides
• Stéphanie Bridoux : Pédagogie inversée - Quand le prof de maths est sur Youtube! Slides
• Quentin Brouette : Dimensions en théorie des modèles et dans d'autres sujets mathématiques. Slides

Année 2017-2018

• Quentin Hautem : La Vérification à l'aide des jeux et un aperçu des jeux ordonnés. Slides
• Marion Hallet : Le concept de stabilité dans les jeux sur arbres. Slides
• Aline Goulard : Les mesures de risque. Slides
• Dimitrios Papathanasiou : Algebras of Hypercyclic vectors.

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.

J'ai co-dirigé les projets suivants:

• (2016-2017) Projet de Master de Clément Tamines sur les jeux de parité

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 Mons		Université de Mons
Batiment Le Pentagone
Avenue du champ de mars, 6		Place du Parc, 20
7000 Mons		7000 MONS
Belgique		Belgique