LES LAURÉATS 2022

 Les lauréats du programme postdotoral de la FSMP pour 2022 sont :

Dustin    Connery-Grigg    (IMJ-PRG)
Mónika    Csikós    (IRIF )
Léonard    Dekens    (MAP5)
Guillaume    Dubach    (DMA)
Animesh    Jana    (CEREMADE)
Arnaud    Maret   ( IMJ-PRG)

Les lauréats du programme postdoctoral MathInGreaterParis accueillis dans le périmètre des laboratoires de la FSMP sont :

Gabriel Angelini-Knoll    (LAGA) 
Christoph  Egger    (IRIF)
Lianna Hambardzumyan (IRIF) 
Laura Kantzler     (CEREMADE)
Konstantinos Kartas (IMJ-PRG)
Daniel Kriz  (IMJ-PRG)
Georg  Maierhofer   (LJLL)
Renato Velozo Ruiz  (LJLL)
Francis White    (LAGA)

Les lauréats du programme postdoctoral MathInGreaterParis sont également à retrouver sur www.mathingp.fr

Statistiques du concours 2021-2022

120 candidatures 
 - dont 22 femmes 
 - dont 100 étranger.e.s

• ANDERSON David

  De nationalité américaine, a soutenu sa thèse à l’université du Michigan. Il est actuellement post doctorant à l'IMPA.

  Page personnelle : Profil
  Thématique : Degeneracy loci and G2 flags
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Résumé :

  The proposed research will investigate the use of group actions on algebraic varieties to explore their topology and geometry. I plan to use localization techniques from equivariant cohomology and K‑theory, as well as new ideas from the theory of jet schemes, to study Schubert varieties, toric varieties, and related spaces. In a different but related direction, the proposed project will include a study of the so‑called "Newton‑Okounkov bodies" of such varieties, with a view toward extending the correspondence between toric varieties and polytopes to more general varieties and convex bodies.

• BUDAGHYAN Lilya

  De nationalité arménienne, a soutenu sa thèse à la Otto‑von‑Guericke University Magdeburg, Allemagne. Elle est actuellement chercheur à l'Université de Bergen en Norvège.

  Page personnelle : Profil
  Thématique : Boolean Functions for Cryptography
  Accueil : Laboratoire Analyse, Géométrie et Applications (P13, CNRS)
  Résumé :

  Boolean functions are ubiquitous, occurring at the heart of virtually all known digital systems. The main aim of this projct is construction and analysis of Boolean functions for applications in cryptography. These Boolean functions are important to improve the security of modern communication systems. Many basic problems on cryptographic Boolean functions remain open and the goal is to solve fully or partially several of these open problems.

• CANDELA Pablo

  De nationalité espagnole, a soutenu sa thèse à l’université de Cambridge. Il est actuellement au Alfréd Rényi Institute of Mathematics à Budapest.

  Page personnelle : Profil
  Thématique : Developments at the interface between combinatorics and Fourier analysis
  Accueil : Département de Mathématiques et Applications de l’Ecole Normale Supérieure (ENS, CNRS)
  Résumé :

  The overall objective of this project is to contribute to arithmetic combinatorics and the related theory of higher‑order Fourier analysis and its applications. One central direction involves investigating further the connection between nilmanifolds and the Gowers‑Host‑Kra uniformity norms, especially towards establishing new analogues, in higher‑order Fourier analysis, of useful tools and results from classical Fourier analysis.

• CHUNG Jaywan

  De nationalité coréenne, a soutenu sa thèse au KAIST (Korea Advanced Institute of Science and Technology). Post‑doctorant au Department of Mathematial Sciences, KAIST.

  Page personnelle : Profil
  Thématique : Moments determine long‑time asymptotics for diffusion equations
  Accueil : Laboratoire Jacques‑Louis Lions (UPMC, CNRS)
  Résumé :

  The applicant is interested in evolution of a zero level set in partial differential equations. For a solution of one dimensional second order parabolic equations, number of zeros of the solution does not increase. In the project, the applicant will study some conditions under which nonincreasing property still holds for multi‑dimensions. Also, issues on nonlinear PDEs and population dynamics will be dealt in a proper setting.

• GASPAR Jaime

  De nationalité portugaise, a soutenu sa thèse à la Technical University of Darmstadt, Allemagne.

  Page personnelle : Profil
  Thématique : Proof interpretations : theoretical and practical aspects
  Accueil : Laboratoire Preuves, Programmes et Systèmes, CNRS, UPD‑P7 et Equipe PiR2, INRIA
  Résumé :

  Mathematicians commonly use an indirect method of proof, while a direct method is preferable. Proof interpretations are powerful tools in mathematical logic that transform indirect proofs into direct proofs. So far my research is confined to proof interpretations in the context of arithmetic. I plan to expand my research in proof interpretations to the largest of all contexts : set theory, the foundation of (almost) all mathematics.

• GETMANENKO Alexander

  De nationalité russe, a soutenu sa thèse à la Northwestern University USA. Il est actuellement au Kavli Institute for the Physics and Mathematics of the Universe.

  Page personnelle : Profil
  Thématique : Resurgent analysis of the Witten Laplacian in One Dimension
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Résumé :

  Connections among Voros‑Ecalle's resurgence, Algebraic analysis of Kashiwara‑Schapira, and the Fukaya category.

• HUBARD Alfredo

  De nationalité mexicaine, a soutenu sa thèse à la New York University USA.

  Page personnelle : Profil
  Thématique : Geometric Coincidences
  Accueil : Laboratoire d’Informatique de l’ENS ( ENS, CNRS, INRIA)
  Résumé :

  We will work in applications of geometry and topology to combinatorics and algorithms. In particular we will focus on Turan‑type results around embeddability of simplicial complexes and related combinatorial waist inequalities.

• KAAD Jens

  De nationalité danoise a soutenu sa thèse à la Copenhagen University. Il est actuellement à Scuola Internazionale Superiore di Studi Avanzati.

  Page personnelle : Profil
  Thématique : A calculation of the multiplicative character on higher algebraic K‑theory
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Résumé :

  The first aim is to show how the concept of joint torsion of commuting Fredholm operators developed by R. Carey and J. Pincus admits a far reaching generalization using the framework of determinant functors on triangulated categories as introduced by M. Breuning. The second aim is to show how the joint torsion can be computed by a local formula in the case of Toeplitz operators arising from tuples of holomorphic functions on the poly‑disc. The local quantity is a product of tame symbols computed on a Riemann surface obtained by an intersection of zero‑loci.

• LOZOVANU Victor

  De nationalité moldave et roumaine, a soutenu sa thèse à la Copenhagen University. Il est actuellement professeur au Queen's University de Kingston.

  Page personnelle : Profil
  Thématique : Multigraded Regularity and Asymptotic Invariants
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Résumé :

  My main work is in Algebraic Geometry and its connections to Commutative Algebra and Convex Geometry. The six labs associated to the Foundation have amazing groups in algebraic geometry. Besides S. Diverio, I would like to work with C. Peskine and S. Boucksom, to whom my work is very related. Both of them are at Institut de Mathématiques Université Pierre et Marie Curie. I would like to continue my projects on vanishing theorems, multigraded Castelnuovo‑Mumford regularity, Okounov bodies and the volume function. And with the help and coordination of the people, I mentioned above, I believe that my work will be very successful.

• MALE Camille

  De nationalité française a soutenu sa thèse à l’ENS de Lyon. Il est actuellement chargé de recherche CNRS à l'Université Paris 5.

  Page personnelle : Profil
  Thématique : Forte et fausse libertés asymptotiques de grandes matrices aléatoires
  Accueil : Laboratoire de Probabilités et Modèles Aléatoires (UPMC, UP7, CNRS)
  Résumé :

  Je souhaiterai, dans mes projets de recherche à venir, continuer à développer la notion de distribution de trafics. Je souhaiterai introduire une famille d'objets que l'on pourrait qualifier de famille des trafics gaussiens, qui interpolerai de façon intrinsèque une variable aléatoire gaussienne et un opérateur semicirculaire. Je souhaiterai appliquer des techniques de calcul développées en thèse, de type méthode des moments, pour caractériser les vecteurs propres de certaines familles de matrices aléatoires. Je voudrais également revoir la théorie des matrices à bandes avec les outils des distributions de trafics.

• PARSONS Todd (2 ans)

  De nationalité canadienne soutenu sa thèse l’université de Toronto.

  Page personnelle : Profil
  Thématique : Asymptotic Analysis of Some Stochastic Models from Population Dynamics and Population Genetics
  Accueil : Laboratoire de Probabilités et Modèles Aléatoires (UPMC, UP7, CNRS)
  Résumé :

  Developing a mathematical framework to understand genomic evolution in the presence of neutral networks. Genomes are modeled as a graph, with one vertex for each genome, and edges connecting two genomes that differ by a single mutation. Phenotypes are assigned to genotypes by a random vertex coloring. A neutral network is a connected monochromatic subgraphs. I will consider finite populations, each of which has genotype that determines stochastic rates of birth, death an mutation. I will study the role of neutral networks in facilitating adaptive evolution and maintaining genetic diversity. I will also consider superprocess limits for large populations analogous to the Fleming‑Viot model, as well as the dual historical process.

• SCHAUDT Oliver

  De nationalité allemande a soutenu sa thèse à l’Université de Cologne. Il est actuellement à l'Institut für Informatik à l'Université de Köln.

  Page personnelle : Profil
  Thématique : The Structure of Dominating Subgraphs
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Résumé :

  The envisaged project concerns a topic from graph theory, namely the well‑studied concept of independence. I plan to study graphs that admit two disjoint maximal independent sets. This problem is motivated from the idea of building robust solutions to the independent set problem and it dates back to Berge and Erdös. My project is threefold : I aim to develop sufficient conditions for the existence of two disjoint maximal independent sets, give polynomial decision algorithms and investigate optimization aspects of the problem.

• SEYFADDINI Sobhan

  De nationalité canadienne, a soutenu sa thèse à l’UC Berkeley, USA. Il est actuellement CLE Moore Instructor et NSF postdoctoral fellow au MIT.

  Page personnelle : Profil
  Thématique : C⁰ Rigidity in Floer theory and Hofer geometry
  Accueil : Département de Mathématiques et Applications de l’Ecole Normale Supérieure (ENS, CNRS)
  Résumé :

  My research is in the field of symplectic geometry. In particular, I am interested in C⁰‑symplectic geometry, Floer theory, Hamiltonian dynamics, and Hofer geometry. My thesis includes a uniqueness theorem for continuous Hamiltonian flows, which was proven in collaboration with L. Buhovsky, and results on C⁰‑continuity properties of Hamiltonian spectral invariants, the spectral metric, and the Hofer metric. I intend to continue my investigation of C⁰‑continuity properties of various Floer‑theoretic and Hofer‑geometric constructions.

• SHAFER Paul

  De nationalité canadienne, a soutenu sa thèse à l’UC Berkeley, USA. Il est actuellement post‑doctorant au Département de mathématiques de l'Université de Ghent.

  Page personnelle : Profil
  Thématique : On the complexity of mathematical problems : Medvedev degrees and reverse mathematics
  Accueil : Laboratoire d’Informatique Algorithmique : Fondements et Applications (UP7, CNRS)
  Résumé :

  I study the relative complexity of mathematical problems in the context of Medvedev and Muchnik degrees of unsolvability. The Medvedev and Muchnik degrees formalize the "problem B is computationally at least as hard as problem A", and much of my work has been toward characterizing the complexity of this relation by characterizing the complexity of the first‑order theories of the Medvedev degrees, the Muchnik degrees, and their substructures. One main goal of the project is to characterize the complexity of the first‑order theory of the effectively closed Muchnik degrees. Another goal of the project is to characterize the difficulty of randomness extraction in terms of Medvedev and Muchnik degrees.

• ZHANG Shiquan (2 ans)

  De nationalité chinoise a soutenu sa thèse à la Sichuan University. Il est actuellement au Fraunhofer Institute for Industrial Mathematics.

  Site personnel : Site
  Thématique : The research of new divergence‑free finite element methods for Darcy‑Stokes‑Brinkman problems
  Accueil : Laboratoire Jacques‑Louis Lions (UPMC, CNRS)
  Résumé :

  The goal of the proposed research is to contribute to developing and analyzing of reduced basis methods based, efficient algorithms for pore scale 3D simulations of Li‑ion batteries. Special attention will be paid to the selection of the trail set, to the implementation, and to the analysis of the algorithms. Industrial partners will be involved in specifying the tasks,the range of the parameters, and in validation of the results.

• ZHOU Qi

  De nationalité chinoise, a soutenu sa thèse l’université de Nanjing.

  Page personnelle : Profil
  Thématique : Asymptotic Analysis of Some Stochastic Models from Population Dynamics and Population Genetics
  Accueil : Laboratoire de Probabilités et Modèles Aléatoires (UPMC, UP7, CNRS)
  Résumé :

  My future work will mainly includes four parts :

  1. Spectral theory of Quasi‑periodic Schrödinger operators (absolutely continuous spectrum, regularity of IDS)
  2. Renormalization (the parabolic behavior in the local or global regime)
  3. Quasi‑periodically forced circle diffeomorphism (linearization of the system with super‑Liouvillean frequency, and global linearization results)
  4. Elliptic lower dimensional tori (existence of elliptic lower dimensional tori with Liouvillean frequency).

Programme Emergence

• WANG Chao (IMJ, CEREMADE)

  De nationalité chinoise, a soutenu sa thèse à l’Academy of Mathematics and Systems Science, Chinese Academy of Science.

  Thématique : Programme Emergence - Instabilités Hydrodynamiques
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Et Centre de Recherche en Mathématiques de la Décision de l’Université Paris‑Dauphine (Dauphine‑CNRS)
  Résumé :

  The ambition of our research program is to study the contact problem in fluid‑solid dynamics within more realistic nonlinear models, Navier‑Stokes/Newton (NS‑N) system. The goal of the postdoc is twofold :

  1. To develop the Cauchy theory for (NS‑N).
  2. To establish the blow‑up of solutions of (NS‑N) through contact, in the slip case).

• BECKER Stephen (2 ans)

  De nationalité américaine, a soutenu sa thèse au California Institute of Technology. Il est actuellement Assistant Professor à l'University du Colorado, Boudler.

  Page personnelle : Profil
  Thématique : Optimisation et traitement de l'information
  Accueil : Laboratoire Jacques‑Louis Lions (UPMC, CNRS)
  Résumé :

  The research program will be on efficient first‑order methods for convex optimization problems that arise in signal processing. With my host Patrick Combettes, I will work on theoretical aspects of these methods, and in particular I will study the interplay between splitting and gradient methods. I also plan to work on applications and collaborate with several Paris‑area researchers.

• BROADBENT Christopher

  De nationalité britannique, a soutenu sa thèse à l'Oxford University Computing Laboratory.

  Page personnelle : Profil
  Thématique : Automates
  Accueil : Laboratoire d’Informatique Algorithmique : Fondements et Applications (UP7, CNRS)
  Résumé :

  Collapsible pushdown automata (CPDA) provide a useful model of higher‑order computation. Unfortunately they have a number of short comings. We propose an alternative model of computation called "well‑nested collapsible pushdown automata" that we believe to be more elegant and for which stronger properties should hold. We further believe that they are more expressive than CPDA and so could model a broader range of computational phenomena.

• DAVISON Ben (2 ans)

  De nationalité britannique, a soutenu sa thèse à l'Oxford University.

  Page personnelle : Profil
  Thématique : Géométrie algébrique non commutative
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Résumé :

  I intend to work on various projects in homotopical algebra, topology and geometry. In particular, I will be studying invariants of 3‑Calabi‑Yau categories, as well as the technical machinery required to extend our understanding of these categories to n‑Calabi‑Yau categories, for n greater than 3.

• EMMI Michael

  De nationalité américaine, a soutenu sa thèse à l'University of California (LA). Actuellement PhD Researcher à l'Université de Californie à Los Angeles (USA).

  Page personnelle : Profil
  Thématique : Vérification
  Accueil : Laboratoire d’Informatique Algorithmique : Fondements et Applications (UP7, CNRS)
  Résumé :

  We investigate formal verification of computer software, including the development of formal models, correctness criteria, complexity analysis for the relevant verification problems, and practical algorithmic solutions. As today’s software is decreasingly likely to be executed sequentially, verification of concurrent software is a key problem. Concurrent software is notoriously hard to design due to the high complexity of reasoning about intricate interactions of concurrent tasks. Systematic methods for formal reasoning are thus necessary. This project addresses the general problem of designing algorithmic formal verification methods to check the correctness of, detect inconsistencies in, and synthesize repairs for, concurrent programs. This is a very important and active research area, with challenging theoretical problems—e.g., establishing effective formal concurrency models and correctness criteria, establishing computational complexity results for the relevant verification problems—as well as challenging practical problems—e.g., developing efficient verification algorithms for concurrency libraries and concurrent applications.

• GILADI Ohad

  De nationalité israélienne, a soutenu sa thèse au Courant Institute (NY). Il est actuellement post‑doctorant à l'Université d'Alberta au Canada.

  Page personnelle : Profil
  Thématique : Analyse fonctionnelle
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Résumé :

  This research program focuses on the "local" theory of Banach spaces : the study of properties which depend only on the structure of finite dimensional subspaces. One goal of this program is to have a better understanding of the relation between the (linear) notions of Rademacher type and cotype and their metric analogues. This is closely related to nonlinear embedding problems, which will also be studied. Another goal of the program is to study smoothing operators acting on Banach space valued functions, and their relation to Lipschitz extension problems.

• LORZ Alexander (2 ans)

  De nationalité allemande, a soutenu sa thèse à l'University of Cambridge (UK). Il est actuellement maître de conférence à l'UPMC.

  Page personnelle : Profil
  Thématique : Mathématiques et Biologie
  Accueil : Laboratoire Jacques‑Louis Lions (UPMC, CNRS) et INRIA
  Résumé :

  We have already studied nonlocal Lotka‑Volterra models arising to describe adaptation/mutations in populations. These models have the property that solutions concentrate as moving Dirac masses in the limit of small diffusion. During my postdoc, I would like to investigate : What are the dynamics of multiple Dirac masses ? Is there a different scaling to obtain a completely local canonical equation ? What would be a numerical method better adapted to these localized solutions ? How can these models help to understand why resistances against drugs develop in therapeutic processes ?

• MING Mei

  De nationalité chinoise, a soutenu sa thèse à l'Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences.

  Page personnelle : Profil
  Thématique : Equations aux dérivéees partielles, mécanique des fluides
  Accueil : Département de Mathématiques et Applications de l’Ecole Normale Supérieure (ENS, CNRS)
  Résumé :

  The two‑fluid system problem consists of two superposed different incompressible fluids with surface tension on the interface. This problem is very interesting and difficult in physics and mathematics. Prof. D. Lannes and I plan to consider the long‑time well‑posedness (under certain scaling regimes) of two‑fluid systems in which the upper or lower fluid has an infinite depth. We also want to prove that the two‑fluid problem can be well approximated by the Benjamin‑Ono equations in a proper time scale.

• MAZZARI Nicola

  De nationalité italienne, a soutenu sa thèse en 2010 à l'Universita degli studi di Milano. Actuellement maître de conférences à l'université de Bordeaux.

  Page personnelle : Profil
  Thématique : Hodge theory for singular complex varieties
  Accueil : Institut Mathématiques de Jussieu - Formes automorphes

• PERDUCA Vitorrio (2 ans)

  De nationalité italienne, a soutenu sa thèse à l'Università degli Studi di Torino.

  Page personnelle : Profil
  Thématique : Statistique Algébrique
  Accueil : Laboratoire Mathématiques Appliquées à Paris 5 (UP5, CNRS)
  Résumé :

  My research interests are algebraic geometry and algebraic and statistical methods in computer science and computational biology. My research plan is the study of Bayesian networks and random graphs, also using algebraic techniques, with applications in post‑genomics. In particular, I would like to study new message propagation algorithms for BNs and investigate applications of the Stochastic Block Model for random graphs.

• REICHELT Thomas

  De nationalité allemande, a soutenu sa thèse à l'Université de Mannheim. Il est actuellement post‑doctorant à l'Université de Mannheim.

  Page personnelle : Profil
  Thématique : Symétrie miroir
  Accueil : Département de Mathématiques et Applications de l’Ecole Normale Supérieure (ENS, CNRS)
  Résumé :

  This project aims at a deeper understanding of the various objects of mirror symmetry. In particular the relationship between the B‑models of Calabi‑Yau and Fano manifolds and their related non‑commutative Hodge structures shall be investigated. This should give some information on the Betti structure and the maximal unipotent boundary point of the Calabi‑Yau B‑model.

• ALBIN Pierre

  De nationalité américaine, a soutenu sa thèse à l'université de Standford. Il est actuellement assistant professeur à l'Université de l'Illinois (Urbana‑Champaign).

  Page personnelle : Profil
  Thématique : Analyse microlocale et geométrie - the Gauss Bonnet Theorem and index theory on conformally compact manifolds
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Résumé :

  This project will study both group actions and analytic torsion. The latter will be studied on asymptotically hyperbolic spaces by renormalized integrals and the pseudodifferential methods of Mazzeo and Melrose. The former will be studied using methods of Albin and Melrose that yield a new description of Borel's equivariant cohomology and a refined theory of "delocalized" equivariant cohomology. It will benefit from the presence of experts like Profs. Bismut, Vergne, Skandalis, and Ma and the collaboration of Leichtnam, Guillarmou, and Mazzeo.

• DOERING Leif (2 ans)

  De nationalité allemande, a soutenu sa thèse à l'université de Berlin. Il est actuellement au département de mathématiques de l'ETH Zürich.

  Page personnelle : Profil
  Thématique : Dynamique de population
  Accueil : Laboratoire de Probabilités et Modèles Aléatoires (UPMC, UP7, CNRS)
  Résumé :

  The symbiotic branching model is a system of two stochastic pdes unifying the parabolic Anderson model from statistical physics, mutually catalytic branching from pure probability, and the stepping stone mode from genetics by a single correlation parameter. As those models behave very differently there are different regimes in the symbiotic branching model which can be attacked by different duality techniques. The existing techniques seem to be exhausted to prove further results. We aim at developing new techniques to study existence of solutions in higher dimensions, the exact wavespeed, and more precise convergence properties in law and pathwise.

• EMMI Michael

  De nationalité américaine, a soutenu sa thèse à l'université de Californie - Los Angeles.

  Page personnelle : Profil
  Thématique : Vérification - Verifying High‑Level Correctness in Low‑Level Software
  Accueil : Laboratoire d’Informatique Algorithmique : Fondements et Applications (UP7, CNRS)
  Résumé :

  Concurrent systems are hard to design due to the high complexity of their behaviors resulting on tremendously large and intricate interactions of their components. The project addresses the general issue of designing algorithmic formal verification methods for concurrent programs allowing to check their correctness and detect their inconsistencies. This is a very important and active research area, with challenging problems both from the theoretical point of view (e.g., formal modeling and specification framework, expressiveness and decidability issues, computational complexity of the considered problems) and the practical point of view (e.g., algorithmic issues, efficient techniques for reducing the size of the problems, etc)

• HEIDERICH Florian (2 ans)

  De nationalité allemande, a soutenu sa thèse à l'université de Barcelone. Il est actuellement post‑doctorant à l'Université de Moscou.

  Page personnelle : Profil
  Thématique : Théorie de Galois différentielle
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Résumé :

  We developed a unified general Galois theory including the non‑linear differential and difference Galois theories of Umemura and Morikawa. The proposed project includes further generalizations as well as arithmetical applications : We are going to study the arithmetic of discrete dynamical systems in positive characteristic and the behavior of our Galois group under specialization and lifting‑questions. Further we are going to show how our theory specializes to the linear theories of André and Hardouin and to strongly normal extensions in characteristic p defined by Moreno.

• JUNG Miyoun

  De nationalité coréenne, a soutenu sa thèse à l'UCLA. Elle est actuellement Professor Assistant au Département de Mathématiques au Hankuk University of Foreign Studies.

  Thématique : Calcul scientifique et imagerie Image restoration and segmentation in a variational framework
  Accueil : Centre de Recherche en Mathématiques de la Décision de l’Université Paris‑Dauphine (Dauphine‑CNRS)
  Résumé :

  The first project is to develop methods based on minimal paths approach, for automatic detection and extraction of blood vessels in placenta images or for automatic tracking of 3D neurons. This can help increase efficiency and reduce costs for emerging placental or neural researches. The second project is to formulate curvelet based nonlocal methods with applications to image processing problems such as image denoising, image inpainting as well as compressive sensing.

• PATNAIK Manish

  De nationalité américaine, a soutenu sa thèse à l'université de Yale. Il est actuellement Professeur Assistant à l'Université d'Alberta, Canada.

  Page personnelle : Profil
  Thématique : Formes automorphes
  Accueil : Institut de Mathématiques de Jussieu (UPMC, UP7, CNRS)
  Résumé :

  We are interested in the theory of automorphic forms on certain infinite dimensional groups called loop groups. Garland has developed the analytic theory of Eisenstein series for such groups, and we are investigating the connections between this work and the usual theory of automorphic forms on finite dimensional groups. Recently with Braverman and Kazhdan, we have been studying the local theory of Hecke algebras on p‑adic loop groups. This work exhibits strong parallels with the work of Schiffmann and Vasserot on Hall algebras of elliptic curves. Our proposal is to study the precise connection between our two works. Doing so is expected to shed light on a number of questions, and especially on a certain mysterious modularity phenomenon which underlies much of the theory of automorphic forms on loop groups.

• ROSADO Jesus

  De nationalité espagnole, a soutenu sa thèse à l'université de Barcelone.

  Page personnelle : Profil
  Thématique : Équations aux dérivées partielles - Analysis of several kinetic and diffusive models in physics and mathematical biology
  Accueil : Centre de Recherche en Mathématiques de la Décision de l’Université Paris‑Dauphine (Dauphine‑CNRS)
  Résumé :

  We aim to study some kind of Fokker‑Planck equations with non‑linear drifts. Namely we are interested in a equation of the form $$frac{d}{dt} f=nablacdot(nabla f + vf(1+f))$$, which models the behavior of a cloud of Bosonic particles. In high dimensions blow‑up may occour for this equation. In order to acquire some understanding of the concentration phenomena, we consider a simplified model in which the nonlinearity has a simple homogeneity : $$frac{d}{dt} f=nablacdot(nabla f + vf^p)$$.

• TEIXERIA Augusto (2 ans)

  Lauréat 2010 du Fonds AXA pour la Recherche. De nationalité brésilienne, a soutenu sa thèse à l'ETH Zurich.

  Page personnelle : Profil
  Thématique : Marches aléatoires
  Accueil : Département de Mathématiques et Applications de l’Ecole Normale Supérieure (ENS, CNRS)
  Résumé :

  During the next years, I will continue performing research in the field of probability theory. More specifically, I plan to continue the study of random interlacements. During the last two years there has been an intense investigation of this model and its relations with random walks on : discrete tori, discrete cylinders and random d‑regular graphs. The random interlacements model offers a big variety of relevant open questions which are expected to be answered in the close future, some of which I already have a clear idea on how to approach.

• ARSENIO Diogo (2 ans)

  De nationalité portugaise et suisse, a soutenu sa thèse à la New York University (USA). Il est actuellement chargé de recherche CNRS, IMJ équipe fonctionnelle.

  Page personnelle : Profil
  Thématique : Limite hydrodynamique
  Accueil : Département de Mathématiques et Applications – UMR 8553 CNRS – ENS, Laboratoire Jacques‑Louis Lions – UMR 7598 CNRS, UPMC
  Résumé :

  The proposed scientific plan studies fluidodynamic limits of classical (Boltzmann) and quantum (Fermi‑Dirac, Bose‑Einstein) kinetic equations and of models for superconductivity (Ginzburg‑Landau). It contains the following projects :

  1. Mild solutions of Boltzmann's equation
  2. Long range interactions and smoothness estimates
  3. Kinetic models for superfluids
  4. Hydrodynamic limit of Boltzmann towards incompressible Euler
  5. Limiting vorticities with prescribed behavior for the Ginzburg‑Landau equations.

• BALWE Chetan (2 ans)

  De nationalité indienne, il a soutenu sa thèse à l'University of Pittsburgh (USA). Il est actuellement professeur à l'Université de Pittsburg.

  Page personnelle : Profil
  Thématique : Géométrie algébrique
  Accueil : Département de Mathématiques et Applications – UMR 8553 CNRS - ENS
  Résumé :

  My Ph.D. dissertation extends the theory of geometric motivic integration to Artin n‑stacks. However, there are other variants of the theory of motivic integration, such as arithmetic motivic integration. Arithmetic motivic integration and geometric motivic integration are unified via the theory of constructible functions as developed by Cluckers and Loeser. I propose to attempt to extend those methods to Artin stacks as well.

• DE SIMOI Jacopo

  De nationalité italienne, il a soutenu sa thèse à l'University of Maryland, College Park (USA). ERC Research Associate in Mathematics jusqu'en 2013, project Macroscopiec Laws and Dynamical Systems (ERC Adg Malady 246953). Il est actuellement post‑doctorant à l'Université de Toronto - Mississauga.

  Page personnelle : Profil
  Thématique : Measure of escaping
  Accueil : Institut de Mathématiques de Jussieu - UMR 7586 CNRS, UPMC, UPD
  Résumé :

  I plan to further improve the results I am obtaining in my Ph.D. thesis about the measure of escaping orbits in a infinite measure dynamical system, and apply them to concrete Hamiltonian Systems (such as some 𝓃‑body problems). Moreover, some of the results can also be used to study the dynamics of the standard map, and I plan to further investigate such ideas.

• GRAHAM Benjamin (2 ans)

  De nationalité britannique,ill a soutenu sa thèse à l'University of Cambridge (UK). Il est actuellement Professeur‑Assistant à l'Université de Warwick.

  Page personnelle : Profil
  Thématique : Percolation
  Accueil : Département de Mathématiques et Applications – UMR 8553 CNRS - ENS
  Résumé :

  Statistical mechanics is the branch of physics that seeks to explain the properties of matter that emerge from microscopic scale interactions. Most models are not exactly solvable. Simple local interactions produce complex long range behaviour. I hope to investigate topics including percolation, the random‑cluster model, the Ising and Potts models, Voronoi percolation, first passage percolation, and the self avoiding walk.

  Publications en lien avec le post‑doc :

  • Helffer‑Sjöstrand representation for conservative dynamics with Thierry Bodineau - Proceedings of IRS 2010, Markov Processes and Related Fields
  • Sublinear variance for directed last passage percolation - Journal of Theoretical Probability
  • Borel type bounds for the self‑avoiding walk connective constant Figure : The oscillating coefficients of the spherical model series expansion - Journal of Physics A : Mathematical and Theoretical 43:235001, 2010

  Autres publications :

  • Sharp thresholds for the random‑cluster and Ising models with Geoffrey Grimmett -Annals of Applied Probability, 21(1):240‑265, 2011
  • Rate of relaxation for a mean‑field zero‑range process Animation : The empirical distribution : one million boxes, and twenty balls per box - Annals of Applied Probability, 19(2):497‑520, 2009
  • Influence and sharp‑threshold theorems for monotonic measures with Geoffrey Grimmett -Annals of Probability, 34(5):1726‑1745, 2006(In Beffara & Duminil‑Copin, Theorem 2.10 is used to show : "The self‑dual point of the two‑dimensional random‑cluster model is critical for q?1")
  • Random‑current representation of the Blume‑Capel modelwith Geoffrey Grimmett

• N'GUYEN Toan

  De nationalité vietnamienne, il a soutenu sa thèse à l'indiana University (USA). Prager Assistant Professor à l'Université de Brown jusque fin 2012, il est actuellement Assistant Professor au Penn State University.

  Page personnelle : Profil
  Thématique : EDP hyperbolique, Long‑time stability of viscous boundary layers
  Accueil : Institut de Mathématiques de Jussieu - UMR 7586 CNRS, UPMC, UPD
  Résumé :

  One and multi‑dimensional asymptotic stability of arbitrary‑amplitude noncharacteristic viscous boundary layers of gas dynamics and magnetohydrodynamics equations.

• ROSSI Paolo

  De nationalité italienne, il a soutenu sa thèse au Sissa, Trieste, Italie. il est désormais maître de conférence à l'université de Bourgogne et bénéficie d'une Chaire CNRS.

  Page personnelle : Profil
  Thématique : Symplectic Field Theory, Gromov‑Witten theory and Integrable Systems
  Accueil : Institut de Mathématiques de Jussieu, Géométrie algébrique complexe- UMR 7586 CNRS, UPMC, UPD
  Résumé :

  I propose to continue the study of the relation between Symplectic Field Theory, Gromov‑Witten theory and Integrable Systems, both in general and in specific examples in higher dimensions than the already considered target (orbi)curves case. Moreover I plan to extend my Mirror Symmetry results to a more general class of target orbicurves and related Landau‑Ginzburg models.

• RYDER Robin

  De nationalité française, il a soutenu sa thèse à l'University of Oxford (UK). Actuellement, maître de conférence à Paris Dauphine.

  Page personnelle : Profil
  Site personnel : Site
  Thématique : Statistique Bayésienne
  Accueil : Centre de Recherche en Mathématiques de la Décision de l’Université Paris‑Dauphine – UMR 7534 CNRS Dauphine
  Résumé :

  Approximate Bayesian Computation (ABC) is a likelihood‑free statistical estimation method. It is of particular use for complex models for which the likelihood cannot be computed. It has potential to be used in a wide variety of contexts, but refinement work is still needed. In particular, research is needed on the selection of appropriate statistics of the data to be used to estimate model parameters. It is also necessary to adapt other statistical methods in order to increase the otherwise very low acceptance rate in the algorithm.

• SPÄTH Britta

  De nationalité allemande, elle a soutenu sa thèse au Kaiserlautern. Elle est actuellement maître de conférence au Technische Universität de Kaiserslautern.

  Page personnelle : Profil
  Accueil : Institut de Mathématiques de Jussieu, Equipe des Groupes Finis - UMR 7586 CNRS, UPMC, UPD
  Résumé :

  The project is located in the representation theory of finite groups. Its aim is a step towards the proof of the McKay conjecture for all groups and the MAKRODINU conjecture for reductive groups. These conjectures relate the local with the global structure of groups. Because of a recent reduction theorem of Isaacs, Malle and Navarro the simple groups of Lie type play a key role in the proof of the McKay conjecture. A major step in the proofs for the reductive groups is a better understandig of the respresentation theory of groups defined by special tori, the φ_d‑tori of the related algebraic groups.

• SHEROTZKE Sarah (2 ans)

  De nationalité allemande, elle a soutenu sa thèse à l'University of Oxford (UK). Elle est actuellement post‑doctorante à l'Université de Bonn.

  Page personnelle : Profil
  Thématique : Classification of tensor categories
  Accueil : Institut de Mathématiques de Jussieu, Equipe des Groupes Finis - UMR 7586 CNRS, UPMC, UPD
  Résumé :

  I plan to work on the classification of tensor categories. Recently published papers by Deligne and Knop provide a new perspective on tensor categories. The first step for me will be to develop new constructions for tensor categories, especially for such tensor categories which are not semi‑simple. This would extend the work of Deligne and Knop. The main interest is to understand such categories more generally for fields of arbitrary characteristic and work towards a classification of tensor categories.As a second project I also plan to analyse Auslander‑Reiten components of bounded derived categories.

• ZEILBERGER Noam (2 ans)

  De nationalité américaine, il a soutenu sa thèse à la Carnegie Mellon University (USA).

  Page personnelle : Profil
  Accueil : Laboratoire Preuves, Programmes et Systèmes - UMR 7126 CNRS, UPD P7
  Résumé :

  My thesis work was originally motivated by the desire to explain some anomalies in so‑called refinement type systems for functional programming languages like ML. These systems incorporate richer types, such as intersections and unions, to allow programmers to express and automatically verify stronger invariants of their data structures and algorithms. But the presence of side‑effects (e.g., mutable storage, callcc) in languages like ML leads to some strange type‑theoretic artifacts, unanticipated from the standard (and quite old) theory of intersection types...

13 nouveaux post‑doctorants ont été retenus parmi 86 candidats, dont 20 sont de formation doctorale française.
Seuls deux des candidats retenus ont soutenu leur thèse en France.

• ANDERSSON Martin

  De nationalité suédoise, il a soutenu sa thèse à l'IMPA, Brésil.

  Accueil : Département de Mathématiques et Applications – UMR 8553 CNRS - ENS
  Résumé :

  This project aims at expanding our understanding of differentiable dynamics as seen from the statistical viewpoint, by establishing existence and finitude of physical measures for large classes of dissipative systems. Focus lies on generic partially hyperbolic systems for which any kind of of non‑uniform hyperbolicity is either hard to detect or non‑existent.

• GOERGEN Laurent

  De nationalité luxembourgeoise, il a soutenu sa thèse à l'ETH Zurich. Il exerce désormais au sein de l’autorité de régulation des marchés financiers du Luxembourg.

  Accueil : Laboratoire de Probabilités et Modèles Aléatoires - UMR 7599 CNRS, UPMC, UPD P7
  Résumé :

  As a further development of our work on diffusions in random environment, we propose to improve the socalled effective criterion for ballistic behaviour and examine the conjecture that the conditions (T_γ) for γ in (0, 1] are all equivalent. Still in the domain of random environments, we intend to study random walk in random potential and explore its analogies with directed polymers. In particular, we would like to show diffusive behaviour of the walks end point when forced to reach a distant hyperplane in the low disorder regime and in dimension larger than three. Finally we would like to apply ideas from last passage percolation and directed polymers to the study of the flux function governing the hydrodynamic limit of the totally asymmetric simple exclusion process with site disorder.

• LOPEZ FRANCO Ignacio

  De nationalité uruguayenne, il a soutenu sa thèse au Trinity College, University of Cambridge (UK). Il est actuellement « Research Fellow », au Gonville and Caius College, University of Cambridge.

  Page personnelle : Profil
  Thématique : Higher dimensional category theory, in particular monoidal bicategories and applications.
  Accueil : Laboratoire Preuves, Programmes et Systèmes - UMR 7126 CNRS, UPD P7
  Résumé :

  My broad interest is in higher dimensional category theory, in particular monoidal bicategories and applications. During my PhD I have been working on the relationship between higher categories and Hopf algebras. Higher categories are higher dimensional analogues of categories, in the same way as homotopies are of higher dimension than curves. Categories of higher dimension have been the subject of intense study in recent years because of their potential applications.

  Publication durant son post‑doc :

  • López Franco, Ignacio ; Street, Ross ; Wood, Richard J. Duals invert. Appl. Categ. Structures 19 (2011), no. 1, 321--361.
  • López Franco, Ignacio L. Formal Hopf algebra theory. II. Lax centres. J. Pure Appl. Algebra 213 (2009), no. 11, 2038--2054.
  • Ferrer Santos, Walter ; López Franco, Ignacio. Monoidal categories of comodules for coquasi Hopf algebras and Radford's formula. Algebras, representations and applications, 107--135, Contemp. Math., 483, Amer. Math. Soc., Providence, RI, 2009.
  • López Franco, Ignacio L. Formal Hopf algebra theory. I. Hopf modules for pseudomonoids. J. Pure Appl. Algebra 213 (2009), no. 6, 1046--1063.

• LIU Ruochuan

  De nationalité chinoise, il a soutenu sa thèseau MIT (USA). Il est actuellement assistant‑professeur à l'Université du Michigan.

  Page personnelle : Profil
  Accueil : Institut de Mathématiques de Jussieu, Equipe Formes automorphes - UMR 7586 CNRS, UPMC, UPD
  Résumé :

  My current research focuses on the theory of (?, ?)‑modules and some related questions from the theory of p‑adic differential equations. In the first part of my thesis, I proved the Euler‑Poincaré characteristic formula and Tate local duality for (?, ?)‑modules over the Robba ring. The second part of my thesis concerns slope filtrations in family.

• MORIER‑GENOUD Sophie

  De nationalité française, elle a soutenu sa thèse à l'Université Claude Bernard Lyon 1. Elle a été recrutée en 2009 en qualité de Maître de Conférence à l’Université Pierre‑et‑Marie‑Curie.

  Page personnelle : Profil
  Accueil : Institut de Mathématiques de Jussieu - UMR 7586 CNRS, UPMC, UPD
  Résumé :

  Le premier projet de recherche concerne les antialgèbres de Lie d'Ovsienko. Ce sont des nouvelles structures introduites en 2007 par Ovsienko. On se propose d'Ètudier ces structures en développant les notions classiques de théorie de représentations (e.g algèbres enveloppantes, extension centrale...). Le deuxième projet se propose d'utiliser la combinatoire de la base canonique de Kashiwara‑Lusztig dans deux problèmes distincts. L'un propose de généraliser des constructions de variétés miroirs via dégénéréscences toriques de variétés dues à Batyrev et al. L'autre propose une étude algébrique de la théorie des cristaux continus récemment introduites par Biane, Bougerol, O'Connell en termes de mouvement Brownien.

• TRIVELLATO ROLLA Leonardo (2 ans)

  De nationalité brésilienne, il a soutenu sa thèse à l'Instituto de Matemática Pura e Apliada. Il est actuellement post doctorant à l'IMPA (Instituto Nacional de Matemática pura e aplicada).

  Page personnelle : Profil
  Accueil : Département de Mathématiques et Applications – UMR 8553 CNRS - ENS
  Résumé :

  I intend to continue research on the topics : Geometric and analytic techniques for the first and last passage percolation models ; Relaxation times for Glauber dynamics at zero and positive temperature ; Interacting random walk models. At the same time I intend to extend my research in the areas of my recent interest : Behavior of critical and near‑critical percolation and Ising model ; Multiscale techniques for critical processes in dimensions three and more ; Self‑interacting random walks and random walks in random environment. This proposal involves a broad collection of challenging problems concerning percolative systems. SLE techniques and multiscale arguments may be crucial for their solution. Multiscale techniques are very powerful but their use is still quite limited. I believe this situation can be improved.

• SORRENTINO Alfonso

  De nationalité italienne, il a soutenu sa thèse à la Princeton University (USA). Il est actuellement professeur associé au département de mathématiques à l'Université degli study di Roma "Tor Vergata".

  Page personnelle : Profil
  Accueil : Centre de Recherche en Mathématiques de la Décision de l’Université Paris‑Dauphine – UMR 7534 CNRS DAUPHINE
  Résumé :

  My research interests are in the field of dynamical systems and particularly in the study of Lagrangian and Hamiltonian dynamics (Aubry‑Mather and Weak KAM theory) and their interplay with symplectic topology. As a Postdoctoral fellow at the Centre de Recherche en Mathematiques de la Decision de l'Université Paris‑Dauphine, I intend to continue my study on the structure of the action minimizing sets. A better comprehension of their topological properties, in fact, would provide a more clear picture of the balance between stable and unstable motions and a new understanding of the nature of Hamiltonian systems and the onset of chaos in classical mechanics. In particular I would extremely interested in collaborating with Prof. Patrick Bernard, whose work has deeply influenced mine so far.

• SPÄTH Britta

  De nationalité allemande, elle a soutenu sa thèse au Kaiserlautern. Elle est actuellement maître de conférence au Technische Universität de Kaiserslautern.

  Page personnelle : Profil
  Accueil : Institut de Mathématiques de Jussieu, Equipe des Groupes Finis - UMR 7586 CNRS, UPMC, UPD
  Résumé :

  The project is located in the representation theory of finite groups. Its aim is a step towards the proof of the McKay conjecture for all groups and the MAKRODINU conjecture for reductive groups. These conjectures relate the local with the global structure of groups. Because of a recent reduction theorem of Isaacs, Malle and Navarro the simple groups of Lie type play a key role in the proof of the McKay conjecture. A major step in the proofs for the reductive groups is a better understandig of the respresentation theory of groups defined by special tori, the φ_d‑tori of the related algebraic groups.

• STACHO Juraj

  De nationalité slovaque, il a soutenu sa thèse à la Simon Fraser University, Canada. Il est actuellement Post‑doctorant au Department Industrial Engineering and Operations Research de l'Université de Columbia, New‑York.

  Page personnelle : Profil
  Accueil : Laboratoire d'Informatique Algorithmique : Fondements et Applications – UMR 7089 CNRS, UPD
  Résumé :

  We would like to study generalised colouring and constraint satisfaction problems on graphs and relationalstructures. We want to focus on structural and complexity results, in particular, prove the so‑called complexity dichotomies for these problems in selected cases. Our ultimate goal is to prove the well‑known Dichotomy Conjecture which states that every constraint satisfaction problem is either polynomial time solvable or NPcomplete. This conjecture has been open for almost two decades, and it has been a driving force in many recent developments in algorithmic and structural graph theory.

• TSANKOV Todor (2 ans)

  De nationalité bulgare, il a soutenu sa thèse au California Institute of Technology (USA). Il a été recruté en 2009 en qualité de Maître de Conférence à l’université Paris 7 Paris‑Diderot.

  Page personnelle : Profil
  Accueil : Institut de Mathématiques de Jussieu, Equipe d’Analyse Fonctionnelle - UMR 7586 CNRS, UPMC, UPD
  Résumé :

  My main interests are in descriptive set theory and its connections with ergodic theory and analysis. I am interested in Polish groups, their actions, and the induced orbit equivalence relations. A large part of my dissertation work is in the theory of countable Borel equivalence relations and, more specifically, orbit equivalence of measure‑preserving group actions. In Paris I would be excited to work with Alain Louveau and his colleagues from l'Equipe d'Analyse Fonctionnelle as well as collaborate with set theorists from l'Equipe de Logique Mathématique.

  Percolation dans des graphes de Cayley - Todor... par Sciences_Maths_Paris

• WANG Zhiqiang (2 ans)

  De nationalité chinoise, il a soutenu sa thèse à la Fudan University. Il est actuellement professeur associé (School of Mathematical Sciences, Fudan University, Shanghai, China).

  Page personnelle : Profil
  Accueil : Laboratoire Jacques‑Louis Lions – UMR 7598 CNRS, UPMC
  Résumé :

  I will go on to study :

  1. global exact controllability and observability for more general hyperbolic systems with application to the related physical models ;
  2. essential relationship among exact controllability, observability and stability for quasilinear hyperbolic system ;
  3. corresponding problems in high space dimension. I want to learn some approaches to deal with control problems for nonlinear equations from Professor CORON. I am also interested in flow control problems and hope to understand more about it.

  Publications :

  1. Jean‑Michel CORON, Olivier GLASS, Zhiqiang WANG, Exact boundary controllability for 1‑D quasilinear hyperbolic systems with a vanishing characteristic speed, SIAM J. Control Optim., 48 (2009), 3105--3122.
  2. Lina GUO, Zhiqiang WANG, Exact boundary observability for nonautonomous quasilinear wave equations, J. Math. Anal. Appl., 364 (2010), 41--50.
  3. Tatsien LI, Bopeng RAO, Zhiqiang WANG, Exact boundary controllability and observability for first order quasilinear hyperbolic systems with a kind of nonlocal boundary conditions, Discrete Contin. Dyn. Syst., 28 (2010), 243--257.
  4. Jean‑Michel CORON, Matthias KAWSKI, Zhiqiang WANG, Analysis of a conservation law modeling a highly re‑entrant manufacturing system, Discrete Contin. Dyn. Syst. Ser. B, 14 (2010), 1337--1359.
  5. Peipei SHANG, Zhiqiang WANG, Analysis and control of a scalar conservation law modeling a highly re‑entrant manufacturing system, J. Differential Equations, 250 (2011), no. 2, 949--982.

• WEHRIL Stephan (2 ans)

  De nationalité suisse, il a soutenu sa thèse à l'Université de Zurich. Actuellement assistant professeur à l'Université de Syracuse.

  Page personnelle : Profil
  Accueil : Institut de Mathématiques de Jussieu - UMR 7586 CNRS, UPMC, UPD
  Résumé :

  My field of research is knot theory and more specifically Khovanov homology. Khovanov homology is a new link invariant which generalizes the Jones polynomial and which can be seen as a combinatorial substitute for gauge theory. In my research work, I investigate algebraic and structural properties of Khovanov homology. I am also interested in the relation between Khovanov homology, Heegaard Floer homology and quantum invariants of three‑manifolds.

• WILSON Benjamin

  De nationalité australienne il a soutenu sa thèse à l’université de Sidney. Il est actuellement post‑doctorant à l'Université de Californie, San Diego.

  Site personnel : Site
  Accueil : Institut de Mathématiques de Jussieu, Equipe d’Analyse Fonctionnelle - UMR 7586 CNRS, UPMC, UPD
  Thématique : Groupes de Lie
  Résumé :

  I am interested broadly in representation theory, mathematics arising from conformal field theory, theoretical computer science and the philosophy of mathematics. My area of expertise is the representation theory of infinite‑dimensional Lie algebras. I have focused, in particular, upon imaginary highest‑weight representation theory, representations of polynomial Lie algebras, and exponential‑polynomial representations. There are three research project, alla concerning the representation theory of Lie algebras

En 2007, 4 post‑doctorants ont été retenus sur 33 candidats.

• DODOS Pandelis

  De nationalité grecque, il a soutenu sa thèse à l’université d’Athènes. Il a depuis lors été recruté en 2008 en qualité de Professeur à l’Université d’Athènes.

  Page personnelle : Profil
  Thématique : Interaction entre la théorie des Ensembles, l’Analyse et la Topologie
  Accueil : Institut de Mathématiques de Jussieu, Equipe d’analyse fonctionnelle - UMR 7586 CNRS, UPMC, UPD
  Résumé :

  We plan to investigate the interactions between Set Theory (mainly Descriptive Set Theory and Combinatorial Set Theory) and Analysis and Topology. In particular, we plan to study problems of the Geometry of Banach spaces, Polish groups, topological spaces related to Banach spaces and ideals on N. Specific projects include, among others, the investigation of strongly bounded classes of separable Banach spaces.

• HALUPCZOK Immanuel (2 ans)

  De double nationalité française et allemande, il a soutenu sa thèse à l’université de Freiburg. Il est actuellement professeur à l'Université de Leeds.

  Page personnelle : Profil
  Thématique : L’intégration motivique
  Accueil : Département de Mathématiques et Applications - UMR 8553 CNRS - ENS
  Résumé :

  Pour p suffisamment grand, les corps Q_p et F_p⸨t⸩ se ressemblent. Pour certains énoncés qui disent cela d'une manière précise, on connaît des bornes explicites pour p ; pour d'autres, on n'en connaît pas encore. Le premier but du projet et de trouver des bornes dans les cas où on ne les connaît pas encore ; le deuxième but est d'améliorer les bornes connues. Pour le deuxième but, la méthode principale va être d'améliorer les algorithmes connus pour l'élimination des quantificateurs et la décomposition cellulaire dans des corps valués Henséliens à caractéristique résiduelle zéro.

• MAUREL‑SÉGALA Edouard (2 ans)

  De nationalité française, il a soutenu sa thèse à l’ENS Lyon. Il a été recruté en 2009 en qualité de Maître de Conférence à l’Université Paris XI - Orsay.

  Page personnelle : Profil
  Thématique : Autour des limites de grandes matrices aléatoires gaussiennes
  Accueil : Laboratoire de Probabilités et Modèles Aléatoires - UMR 7599 CNRS, UPMC, UPD P7
  Résumé :

  J'aimerais continuer à m'intéresser aux grandes matrices aléatoires comme j'ai commencé à le faire dans ma thèse. La combinatoire qui apparaît de manière naturelle dans ces modèles soulève encore de nombreuses questions ouvertes. Dans la continuité de ces idées, j'aimerais étudier les liens crées par la physique théorique entre matrices aléatoires et géométrie. Liens souvent encore mal compris d'un point de vue mathématique. Une autre thématique qui me tient à coeur est l'étude de systèmes de particules en lien avec les valeurs propres de matrices aléatoires dynamiques, que ce soit d'un point de vue macroscopique ou microscopique avec l'étude du processus de plus grande valeur propre.

• MAZZA Damiano

  De nationalité italienne, il a soutenu sa thèse à l'Université d'Aix‑Marseille 2, à l'Institut de Mathématiques de Luminy. Il a été reçu au CNRS au titre du concours 2008 de Chargé de recherche (Section 07 – informatique fondamentale). Il est actuellement chargé de recherche au laboratoire d'informatique de Paris Nord.

  Page personnelle : Profil
  Thématique : Sémantique de modèles du calcul concurrent basés sur la logique linéaire
  Accueil : Laboratoire Preuves, Programmes et Systèmes - UMR 7126 CNRS, UPD P7
  Résumé :

  Depuis longtemps on aspire à rapprocher le calcul concurrent de la logique, de manière similaire à la correspondance de Curry‑Howard pour la programmation fonctionnelle. Récemment, les travaux de Ehrhard et Laurent sur les réseaux d'interaction différentiels ont relancé le mouvement dans cette direction. A partir d'un résultat de séparation obtenu récemment avec Michele Pagani, ainsi que de mes travaux sur les réseaux multiport, et en adaptant les objets que j'ai développé pour interpréter les combinateurs d'interaction de Lafont (les "édifices"), nous proposons de développer une étude sémantique des réseaux différentiels, afin de définir des nouveaux systèmes logiques (dans le style de ludique) capables d'étendre Curry‑Howard à la concurrence.

  Publication en lien avec son post‑doc :

  • Damiano Mazza. Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators. Logical Methods in Computer Science, 5(4:6), 2009.

  Autre publication :

  • Patrick Baillot and Damiano Mazza. Linear Logic by Levels and Bounded Time Complexity. Theoretical Computer Science, 411(2):470‑503, 2010.