nicomoyen.jpg

Nicolas Basset

Post-doctorant, Université Libre de Bruxelles

Je suis actuellement post-doctorant à l'Université Libre de Bruxelles où je travaille avec Jean-François Raskin et Gilles Geeraerts sur la synthèse de contrôleurs pour les systèmes modélisés par des jeux concurrents ou temporisés.

Mon CV est disponible ici


Mes travaux de recherches combinent plusieurs thèmes de recherches dont les théories :

  • des automates temporisés et de la volumétrie de leur langages,
  • des jeux stochastiques et temporisés,
  • de la concurrence,
  • de la génération aléatoire,
  • de la combinatoire énumérative et analytique,
  • de la dynamique symbolique et des codes sur canal contraint.

Revues internationales avec comité de lecture

Conférences internationales avec comité de lecture

  • B. Barbot, N. Basset, M. Beunardeau et M. Kwiatkowska, Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. accepté à QEST'16. Version soumise disponible ici.
  • N. Basset, Timed symbolic dynamics, FORMATS'15.
  • N. Basset,M. Kwiatkowska, Ufuk Topcu et C. Wiltsche. Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives, TACAS'15.
  • N. Basset,M. Kwiatkowska et C. Wiltsche. Compositional Controller Synthesis for Stochastic Games, CONCUR'14.
  • N. Basset, Counting and generating permutations using timed languages, LATIN'14.
  • E. Asarin, N. Basset, Aldric DEGORRE, Spectral Gap in Timed Automata, FORMATS'13.
  • N. Basset, A Maximal Entropy Stochastic Process for a Timed Automaton, ICALP'13. Best student paper award (track B), version en ligne.
  • E. Asarin, N. Basset, M.-P. Béal, Aldric DEGORRE, Dominique PERRIN, Toward a timed theory of channel coding, FORMATS'12, LNCS 7595, 27-42; p. 124-135, © Springer-Verlag, 2012, version en ligne
  • E. ASARIN, N. Basset, Aldric DEGORRE, Dominique PERRIN, Generating functions of timed languages, MFCS'12, LNCS 7464, p. 124-135, © Springer-Verlag, 2012, a long version hal-00678443.
  • N. Basset,E. ASARIN, Thin and thick timed regular languages, FORMATS'11, LNCS 6919, © Springer-Verlag, 2011, p.113-128, version en ligne.

Travaux soumis

  • N. Basset,M. Kwiatkowska et C. Wiltsche. Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives, soumis à Information and Computation. Le rapport de recherche correspondant à cette soumission est disponible ici.
  • N. Basset, J. Mairesse et M. Soria. Uniform Sampling for Networks of Automata, article soumis à une conférence disponible ici
  • N. Basset, G. Geeraerts, J-F. Raskin et O. Sankur, Admissibility in Concurrent Games, article soumis à une conférence disponible ici
  • N. Basset, J-F. Raskin et O. Sankur, Admissible Strategies in Timed Games, article soumis à une conférence disponible ici

Thèse

  • Le manuscript est ici.
  • Les transparents de la soutenance sont ici.
  • Les rapports de soutenance et de pré-soutenance sont ici.

Rapports de stage


  • J'ai programmé les algorithmes et exemples de mon article Counting and generating permutations in regular classes avec le logiciel SageMath. Le code est disponible ici.
  • J'ai programmé avec mes collègues Benoît Barbot et Marc Beunardeau les méthodes de génération aléatoire pour les langages temporisés que nous décrivons dans l'article Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. La page web de notre chaîne d'outils est disponible ici. Nous utilisons ou modifions les outils suivants PRISM, SageMath et COSMOS.

En post-doctorat à Oxford

J'ai enseigné les TDs pour le cours de Probabilistic model checking.

En monitorat à l'Université Paris-Est Marne-la-Vallée

J'ai enseigné 193 heures de TDs pour les cours suivants :

  • Mathématiques pour l’informatique 1 et 2 (L1),
  • Mathématiques pour l’informatique 4 (L3),
  • Calculabilité (L3),
  • Algorithmique (L3).

J'ai encadré le stage de recherche de Master 1 de Marc Beunardeau de mars à aout 2014. Le thème était la génération aléatoire uniforme pour les automates temporisés. Il fait l'objet d'un article accepté à la conférence QEST'16 disponible ici.


  • Je suis marié et j'ai quatre enfants Sonia et Gaël (nés en 2011), Délia (née en 2014) et Julien (né en 2016).
  • Je joue de la clarinette.
  • J'aime jouer au basket et faire de l'escalade.