NEW!
You can find HERE the manuscript of my PhD thesis. The defense will occur on Thursday, December 05th 2013 at 3pm. You can find HERE the defense details.
I started a postdoc on October at Oxford university under the supervision of Marta Kwiatkowska in the VERIWARE project.





Less new!
You can find HERE algorithms for Counting and generating permutations with signature in a given regular language.
These algorithms are presented in a paper available on-line hal-00820373



Nicolas BASSET


Doctorant, LIGM Marne La Vallée - LIAFA Paris 13


Moniteur, Université Paris Est



Adresse : 37 Grande Rue
Appartement 7
77200 TORCY
Email : nbasset@liafa.univ-paris-diderot.fr
Téléphone : +33681293253

J'effectue depuis septembre 2010 mon doctorat sous la co-direction de Eugène ASARIN et de Dominique PERRIN.
Dans le cadre du projet EQINOCS (ANR-11-BS02-004), je travaille à la mise au point d'une théorie des codes temporisés, notamment avec Eugène ASARIN et Aldric DEGORRE du LIAFA et avec Marie-Pierre BEAL et Dominique PERRIN du LIGM.

Mon CV est ici.


Thèmes de recherches


Publications



Exposés

Decembre 2013 Soutenance de thèse LIGM, Champs-sur-Marne
Octobre 2013 A maximal entropy stochastic process for a timed automaton Verification Seminars (University of Oxford)
Juin 2013 Compter et générer aléatoirement des permutations décrites par un langage régulier Séminaire combinatoire (LIAFA), Paris
Juin 2013 A maximal entropy stochastic process for a timed automaton Automata Theory and Symbolic Dynamics Workshop, PIMS, UBC, Vancouver
Janvier 2013 Timed dynamic symbolic Réunion "EQINOCS" (Verimag), Grenoble
Décembre 2012 Un processus stochastique d'entropie maximale pour un automate temporisé Séminaire algo (LIGM), Champs-sur-Marne
Juin 2012 L'entropie des langages temporisés réguliers Journée des doctorants (ESIEE Cité Descartes Amphi 160), Champs-sur-Marne
Juin 2012 Codes temporisés Réunion "EQINOCS" (LACL), Créteil
Avril 2012 Systèmes dynamiques temporisés et mesure d'entropie maximale Réunion "EQINOCS et théorie ergodique" (LIAFA), Paris
Janvier 2012 L'entropie des langages temporisés réguliers Séminaire des doctorants (Université de Marne-la-vallée), Créteil
Octobre 2011 Thin and thick timed regular languages Séminaire vérification (LIAFA)
Septembre 2011 Thin and thick timed regular languages Conférence FORMATS 2011, AAlborg, Danemark
Septembre 2010 Dynamique symbolique des langages temporisés Soutenance de M2 (MPRI), Paris
Septembre 2008 Sécurité des descripteur SIFT Soutenance de M1 (MPRI), Paris
Septembre 2007 Minimization and learning in the class DWBA Soutenance de L3 (MPRI), Paris


Enseignements

2010 – 2012 TD d'informatique à l'Université Paris-Est, Marne-La-Vallée
2009 – 2010 Colles de mathématiques en PCSI au lycée Vincent RASPAIL, PARIS


Quelques photos