nicomoyen.jpg

Nicolas Basset

Post-doctorant, Université Paris 6

Je suis actuellement post-doctorant dans l'équipe APR du LIP6 où je travaille avec Michèle Soria et Jean Mairesse sur la génération aléatoire et la combinatoire pour les modèles concurrents et temporisés.

Mon CV est disponible ici


Thèmes de recherches

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 ;
  • de la combinatoire énumérative et analytique ;
  • de la génération aléatoire ;
  • de la dynamique symbolique et des codes sur canal contraint.

Publications

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.

Thèse

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

Rapports de stage


Développements Logiciels

  • 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, disponible ici. Nous utilisons où modifions les outils suivants PRISM, SageMath et COSMOS.

Enseignements

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)

Encadrement

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.


Autres

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