{{nicomoyen.jpg}}

=======Nicolas Basset=======
My new web page is available  [[http://www-verimag.imag.fr/~bassetni/index.html|here]]

My ongoing work //Toward Learning Boolean Functions with Positive Example// with Oded Maler and Irini Mens is available {{positive-bool.pdf|here}}.
===Maître de conférence===
Je suis actuellement maître de conférence à l'Université Grenoble Alpes. J'effectue ma recherche dans l’équipe TEMPO du laboratoire Verimag et mon enseignement à l'UFR IM2AG.
=====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 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.

----

=====Publications=====

===Revues internationales avec comité de lecture===
  * N. Basset, **Counting and generating permutations in regular classes**,  //Algorithmica//. [[http://link.springer.com/article/10.1007%2Fs00453-016-0136-9|version éditeur]], {{preprint-Algorithmica.pdf|PDF}}.
  * [[http://www.liafa.univ-paris-diderot.fr/~asarin/|E. Asarin]], N. Basset,  [[http://www.liafa.univ-paris-diderot.fr/~adegorre//|Aldric DEGORRE]], **Entropy of Regular Timed Languages**, //Information and Computation//, [[http://www.sciencedirect.com/science/article/pii/S0890540115000188|version éditeur]], {{entropyIC.pdf|PDF}}.
  *N. Basset, **A maximal entropy stochastic process for a timed automaton**, //Information and Computation//, [[http://www.sciencedirect.com/science/article/pii/S0890540114001588|version éditeur]], {{Max_entropy_SPOR.pdf|PDF}}.
  * N. Basset,[[http://www.cs.ox.ac.uk/marta.kwiatkowska/|M. Kwiatkowska]] et [[http://www.cs.ox.ac.uk/people/clemens.wiltsche/|C. Wiltsche]]. **Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives**, accepté à //Information and Computation//. Le rapport de recherche correspondant à cette publication est disponible [[http://www.veriware.org/papers/bkw16.pdf|ici]].

===Conférences internationales avec comité de lecture===
  * N. Basset, J. Mairesse et M. Soria. **Uniform Sampling for Networks of Automata**, //CONCUR 2017//, rapport disponible {{users:nbasset:unif-sampling-dfas.pdf|ici}}
  * N. Basset, G. Geeraerts, J-F. Raskin et O. Sankur, **Admissibility in Concurrent Games**,  //ICALP 2017//, rapport disponible {{users:nbasset:adm-concur.pdf|ici}}
  * N. Basset, J-F. Raskin et O. Sankur, **Admissible Strategies in Timed Games**, //Models, Algorithms, Logics and Tools 2017//, rapport disponible {{users:nbasset:admissible-timed.pdf|ici}}
  *B. Barbot, N. Basset, M. Beunardeau et [[http://www.cs.ox.ac.uk/marta.kwiatkowska/|M. Kwiatkowska]], **Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement**. //QEST'16//. Rapport disponible {{unif-sampling-ta.pdf|ici}}.
  * N. Basset, **Timed symbolic dynamics**,  //FORMATS'15//.
  * N. Basset,[[http://www.cs.ox.ac.uk/marta.kwiatkowska/|M. Kwiatkowska]], Ufuk Topcu et [[http://www.cs.ox.ac.uk/people/clemens.wiltsche/|C. Wiltsche]]. **Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives**, //TACAS'15//.
/*
Technical report available [[http://www.cs.ox.ac.uk/files/7080/CS-RR-14-10.pdf|here]].
 */
  * N. Basset,[[http://www.cs.ox.ac.uk/marta.kwiatkowska/|M. Kwiatkowska]] et [[http://www.cs.ox.ac.uk/people/clemens.wiltsche/|C. Wiltsche]]. **Compositional Controller Synthesis for Stochastic Games**, //CONCUR'14//.
/*
[[http://www.cs.ox.ac.uk/files/7080/CS-RR-14-10.pdf|Download  (pdf) ]].
 */  
  * N. Basset, **Counting and generating permutations using timed languages**, //LATIN'14//.
/* ,a long version [[https://hal.archives-ouvertes.fr/hal-01093994|hal-01093994v1]] */
  * [[http://www.liafa.univ-paris-diderot.fr/~asarin/|E. Asarin]], N. Basset, [[http://www.liafa.univ-paris-diderot.fr/~adegorre//|Aldric DEGORRE]], **Spectral Gap in Timed Automata**, //FORMATS'13//.
/* LNCS, [[https://hal.archives-ouvertes.fr/hal-00862273v1|hal-00862273v1]] */
  * N. Basset, **A Maximal Entropy Stochastic Process for a Timed Automaton**, //ICALP'13//. ** Best student paper award (track B)**, [[http://link.springer.com/chapter/10.1007/978-3-642-39212-2_9|version en ligne]]. /*[[http://hal.archives-ouvertes.fr/hal-00808909|hal-00808909]]*/  
  * [[http://www.liafa.univ-paris-diderot.fr/~asarin/|E. Asarin]], N. Basset, [[http://igm.univ-mlv.fr/~beal/|M.-P. Béal]], [[http://www.liafa.univ-paris-diderot.fr/~adegorre//|Aldric DEGORRE]], [[http://www-igm.univ-mlv.fr/~perrin/|Dominique PERRIN]], **Toward a timed theory of channel coding**, //FORMATS'12//, LNCS 7595, 27-42; p. 124-135, © Springer-Verlag, 2012, [[http://dx.doi.org/10.1007/978-3-642-33365-1_4|version en ligne]]
  * [[http://www.liafa.univ-paris-diderot.fr/~asarin/|E. ASARIN]], N. Basset, [[http://www.liafa.univ-paris-diderot.fr/~adegorre//|Aldric DEGORRE]], [[http://www-igm.univ-mlv.fr/~perrin/|Dominique PERRIN]], **Generating functions of timed languages**, //MFCS'12//, LNCS 7464,  p. 124-135, © Springer-Verlag, 2012, a long version [[http://hal.archives-ouvertes.fr/hal-00678443|hal-00678443]].
  * N. Basset,[[http://www.liafa.univ-paris-diderot.fr/~asarin/|E. ASARIN]], **Thin and thick timed regular languages**, //FORMATS'11//, LNCS 6919, © Springer-Verlag,   2011, p.113-128, [[http://www.springerlink.com/content/w65403231754t117/|version en ligne]].
 /*  [[http://www.springerlink.com/content/w65403231754t117/|DOI: 10.1007/978-3-642-24310-3_9]]
 */
===Thèse===
  * Le manuscript est {{users:nbasset:these:thesenicolasbasset.pdf|ici}}.
  * Les transparents de la soutenance sont {{soutenance.pdf|ici}}.
  * Les rapports de soutenance et de pré-soutenance sont {{rapport_soutenance.pdf|ici}}.

===Rapports de stage===
   *[[Rapportm2.pdf|Dynamique symbolique des langages temporisés]] - M2 internship report (2009) with [[http://www.liafa.jussieu.fr/~asarin/|Eugène ASARIN]] //(LIAFA, Paris)//
   *[[users:nbasset:rapportm1.pdf|Sécurité des descripteur SIFT]] - M1 internship report (2008) with Ewa KIJAK //(INRIA, Rennes)//. 
   *[[users:nbasset:rapportl3.pdf|Minimization and learning in the class DWBA]] - L3 internship report (2007) with [[http://www4.in.tum.de/~leucker/|Martin LEUCKER]] //(T-U-MUNICH)//

----

=====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 [[users:nbasset:sage:sage.htm|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 [[http://www.prismmodelchecker.org/files/qest16/|ici]]. Nous utilisons ou 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 {{unif-sampling-ta.pdf|ici}}.


----

=====Autres=====
  * 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.