Directeur de Recherche Équipe : APR Sorbonne Université - LIP6 Boîte courrier 169 Couloir 25-26, Étage 3, Bureau 310 4 place Jussieu 75252 PARIS CEDEX 05 01 44 27 87 91
Jean.Mairesse (at) nulllip6.fr https://perso.lip6.fr/Jean.Mairesse
Activité de recherche
Mon travail de recherche, au carrefour entre l?informatique et les mathématiques, porte sur les systèmes dynamiques discrets, souvent aléatoires. L?enjeu est de comprendre les mécanismes qui régissent les systèmes conçus par l?homme (systèmes informatiques ou de production, réseaux de communications ou de transport). Leurs caractéristiques communes sont d?obéir à des règles opérationnelles, ou algorithmes, et de se transformer à des instants discrets. Dans ce contexte général, J'ai travaillé sur différents modèles mathématiques tels les automates, les réseaux de Petri, les files d?attentes, ou encore les automates cellulaires probabilistes. J'ai contribué à différents domaines connexes telles l?algèbre tropicale, la combinatoire des (semi)groupes, ou encore les marches aléatoires.
Un docteur (2022) à Sorbonne Université
2022
CHEN Yi-Ting : Génération aléatoire d'exécution de systèmes concurrents.
N. Basset, J. Mairesse, M. Soria : “Uniform sampling for networks of automata”, CONCUR 2017 28th International Conference on Concurrency Theory, Berlin, Germany (2017)
P. Guillon, Z. Izhakian, J. Mairesse, G. Merlet : “The ultimate rank of tropical matrices”, Journal of Algebra, vol. 437, pp. 222-248, (Elsevier) (2015)
S. Abbes, J. Mairesse : “Uniform Generation in Trace Monoids”, Mathematical Foundations of Computer Science 2015, vol. 9234, Lecture Notes in Computer Science, Milan, Italy, pp. 63-75, (Springer) (2015)