Postdocs

(LAGA, Sorbonne Paris-Nord University)

(IMJ-PRG, Sorbonne University)

(IMJ-PRG, Université Paris Cité)

(LJLL, Sorbonne University)

(LJLL, Sorbonne University)

(MODAL’X/ Paris Nanterre University)

(LPSM, Sorbonne University)

(IMJ-PRG, Sorbonne University)

(LAGA, Sorbonne Paris-Nord University)

(LPSM /Laboratory of Statistical Probabilities and Modelling)

(IRIF / Institute for Research in Fundamental Computer Science)

(LAGA / Laboratory of Analysis, Geometry and Applications)

(IMJ-PRG / Jussieu-Paris Rive Gauche Institute of Mathematics)

(IMJ-PRG, Algebraic Topology), position funded by the IMG-PRG

(IMJ-PRG, Functional Analysis)

(DMA, EDP)

(IMJ-PRG, logical)

(LAGA, probabilities)

(FROM)

(LJLL)

(LJLL)

(IMJ-PRG)

(IMJ-PRG)

(CERAMIC)

(IRIF)

(FROM)

(IMJ-PRG)

(CERAMIC)

(DMA)

(MAP5)

(IRIF)

(IMJ-PRG)

(Lecturer, recruited at IMAG, University of Toulouse)

(CNRS researcher, recruited at LIGM, Paris-Est Créteil)

(Inria researcher, recruited into the Cage team, LJLL)

(IRIF)

(LPSM)

(DMA)

(IMJ-PRG)

IMJ-PRG, 2 years

LAGA, 2 years

IMJ‑PRG, 1 an

LAGA, 2 years

IRIF, 1 an

Inria, 1 year

IMJ-PRG and Inria, 2 years

DI-ENS and Inria, 1 year

LPSM, 1 an

IRIF, 1 an

LJLL and Inria, 1 year

DMA, 1 an FSMP‑PSL Fellow

IMJ‑PRG, 1 an

CEREMADE, 2 ans FSMP‑PSL Fellow

LJLL and Inria, 1 year

IMJ-PRG and CEREMADE, 2 years FSMP-PSL Fellow

IMJ‑PRG, 1 an

IMJ‑PRG, 1 an

Collège de France, 2-year FSMP-PSL Fellow

CEREMADE, 1 year

CAMS, 2 ans FSMP‑PSL Fellow

CEREMADE and Collège de France, 2-year FSMP-PSL Fellow

LJLL, 1 an

LPSM, 1 an

IRIF and Inria, 1 year

LJLL, 1 an

IMJ, 2 years old

DMA, 1 an

IMJ, 2 years old

LAGA, 1 year

DMA, 2 years

CEREMADE, 1 year

IRIF, 1 year (renewal)

MAP5, 1 year (renewal)

DMA, 2 ans FSMP‑PSL Fellow

IRIF, 1 year (renewal) PAZ Ami, IRIF, 1 year (renewal)

CEREMADE, 2 ans FSMP‑PSL Fellow

CAS and Inria, 1 year (renewal)

CEREMADE, 2 years

DMA, 2 ans FSMP‑PSL Fellow

Of Swiss nationality, he defended his thesis at the Swiss Federal Institute of Technology Lausanne. Home: Jussieu Institute of Mathematics Résumé : The goal is to use p‑adic and motivic integration in the study of of moduli space of quivers, Higgsbundles and other spaces appearing in non‑abelian Hodge theory. More precise goals are the topological mirror symmetry conjecture and a motivic Duistermmat‑Heckman theorem.

Of Italian nationality, he defended his thesis at York University in Toronto. Home: Jussieu Institute of Mathematics Résumé : The project aims to build new connections between set theory and operator algebras. These connection pass through the solutions of conjectures of Coskey and Farah, and the development of new versions of such conjectures, relating with the application of set theory to the rigidity of continuous structures.

Of Italian nationality, he defended his thesis at York University in Toronto. Home: Jussieu Institute of Mathematics Résumé : The project aims to build new connections between set theory and operator algebras. These connection pass through the solutions of conjectures of Coskey and Farah, and the development of new versions of such conjectures, relating with the application of set theory to the rigidity of continuous structures.

Of Italian nationality, he defended his thesis at the Massachusetts Institute of Technology. Home: Laboratory of Analysis, Geometry and Applications. Résumé : I will be working on applications of equivariant homotopy theory and higher category theory to algebraic K‑theory and geometric problems.

Of Japanese nationality, he defended his thesis at the University of Tokyo. Home: Jussieu Institute of Mathematics Résumé : The field of my research is algebraic geometry with vista on arithmetic geometry. I have a specific interest in algebraic cycles and motives. I have been studying the higher Chow group “with modulus,” a generalisation of Bloch’s higher Chow group, which is a universal cohomology of central importance in algebraic geometry. Recent studies by researchers including Professor Bruno Kahn developed the theory of “motives with modulus,” which generalises the present theory of motives. It is expected to have close relationships with the higher Chow group with modulus. I will study fundamental properties of the higher Chow group with modulus and its relationships with motives with modulus.

Of French nationality, he defended his thesis at the University of Montpellier. Home: Jussieu Institute of Mathematics Résumé : The project revolves around homotopical version of vertex algebras, and their link to conformal field theories. Although those vertex algebras come from an algebro‑geometric background, the tools used will mostly come from derived algebraic geometry, homotopy theory and K‑theoretic constructions. Matthew Morrow, whose interests lie in between algebraic and rigid geometry, and K‑theory is a perfect fit to supervise this project.

Of Italian nationality, he defended his thesis at the University of Rome Tor Vergata. Home: Jussieu Institute of Mathematics Résumé : My research project is divided into two parts. I am currently interested in some open questions in Kähler geometry : the study of the space of Kähler metrics on singular varieties and the inspection of positivity properties of the canonical bundle using a Kähler‑Ricci flow approach. A much wider subject I would like to work on is the construction of complex non‑Kähler manifolds. This is a long term project but developments in this area will be of interest also in theoretical physics.

Of German nationality, he defended his thesis at the University of Kaiserslautern. Home: Institute for Fundamental Computer Science Research Résumé : I would like to continue my research on finite‑state abstractions of infinite‑state models to facilitate verification of complex systems. Specifically, I plan to study abstractions defined by embedding relations. Since computability and decidability issues in the case of finite words have largely been settled, I will focus on issues of complexity and generalizations to finite trees.

Of French nationality, he defended his thesis at the University of Aix-Marseille. Home: Center for Research in Decision Mathematics Résumé : My research interests focus on the analysis of nonlinear PDEs. In particular, my current research interests lie on the rigorous derivation of transport type equations (aggregation, Vlsasov‑type equation) from particle system. I am also interested in particle dynamics in presence of noises, which makes me highly interested in Stochastic Differential Equations, Fokker‑Plank like models and their relation to probability theory.

Of Italian nationality, he defended his thesis at the University of Rome Tor Vergata. Home: Laboratory of Applied Mathematics at Paris 5 Résumé : The main goal of my project is to investigate Gaussian fields on compact Riemannian manifolds, in particular the geometry of their excursion sets, mainly using chaotic decomposition and Stein‑Malliavin methods.

Of French nationality, he defended his thesis at the University of Luxembourg. Home: Inria Résumé : The aim of this project is to study the feasibility of introducing a backdoor into a block cipher, specifically through a non-linear component called an S-box. Through this project, I hope to both accurately estimate the danger posed by such backdoors and better understand how to detect and avoid them.

Of Israeli nationality, he defended his thesis at the Technion in Israel. Home: Institute for Fundamental Computer Science Research Résumé : I study distributed graph algorithms. A large computer system is modeled by its communication graph, in which the nodes are processors that communicate along the edges of the graph. My research focuses on distributed algorithms through which the system can compute parameters of its communication graph as quickly and efficiently as possible.

Of Italian nationality, he defended his thesis at SISSA in Italy. Home: Jacques-Louis Lions Laboratory Résumé : The present project focuses on the study of a problem in rigid‑plasticity by using hyperbolic techniques typical of micromagnetics, and on the investigation of important mathematical tools in the framework of functions with bounded deformation (BD) with applications to fracture mechanics.

Of French nationality, he defended his thesis at the University of Lyon 1. Home: Jacques-Louis Lions Laboratory Résumé : The aim of this project is the development, analysis, and implementation of high-order interpolation methods that preserve boundary constraints, as well as the application of these methods to the numerical simulation of transport phenomena using kinetic equations. The motivation and objective of this project is the accurate simulation of models from applications in plasma physics (Vlasov-Poisson), biology and ecology (cell aggregation, insect swarms, bird flocks, etc.), and industry (uncertainty propagation).

Of Belgian nationality, he defended his thesis at the Catholic University of Louvain. Home: Department of Mathematics and Applications of the ENS Résumé : The project will study how recent recovery guarantees that have been obtained for bilinear inverse problems through convex relaxations and low rank methods can be extended to more general polynomial optimization problems (POP) by means of semidefinite programming hierarchies, and new schemes for the construction of optimality certificates. Possible applications include advanced calibration problems where the structure of the system matrix induces interactions between the inputs, or nonlinear system identification problems such as those that are used in machine learning. Additional applications also include spike sorting in the neurosciences, seismic imaging, and optimal transport. The project will study the relation between the graph structure underlying the constraints in those problems and the construction of the dual polynomial used to guarantee the recovery of the unknowns.

Of Russian nationality, he defended his thesis at the University of Saint Petersburg. Home: Department of Mathematics of the ENS Résumé : The first part of my project focuses on various properties of special metric invariants of dynamical systems called scaling entropy sequences. Such sequences, first studied by A. Vershik, characterize epsilon‑entropy asymptotics of averages of metrics with respect to the group action. The second part of the project is about proving sharp inequalities in harmonic analysis using the Bellman function method. I would like to adapt the method to higher‑dimensional settings, as well as to problems involving smoothness

Of Chinese nationality, he defended his thesis at the University of Minnesota-Twin Cities. Home: Center for Research in Decision Mathematics Résumé : The main project is to study the classical Newtonian n‑body problem using the variational approach. We hope to find collision‑free (quasi)‑periodic solutions under various symmetric and topological constraints. As a result, we would like to establish the global existence of families of solutions connecting the rotating n‑gon's and the linear chains and study the continuity of these families with respect to certain parameter. Meanwhile we also plan to study the existence of diffusion orbits in concrete models, like the n‑body problem.

Of Argentinian nationality, he defended his thesis at Claude Bernard University in Lyon. Home: Jussieu Institute of Mathematics Résumé : 1. Study the unitary representations of Polish Roelcke precompact groups, seeking to generalize the well‑known classification theorems for oligomorphic groups and for compact groups. Use the recent model‑theoretic understanding of these groups. 2. Study local NIP phenomena within IP theories motivated by some questions about Rosenthal‑representations of Polish groups. More precisely, study the definability of sets whose family of translates have finite VC dimension.

Of Vietnamese nationality, he defended his thesis at the University of Tours. Home: Jussieu Institute of Mathematics Résumé : I would like to study the following problems : construct solutions to the vacuum Einstein constraint equations with freely specified mean curvature on compact manifolds, the study of the Einstein constraints on hyperboloidal slices, the study of the constraint equations for modified gravity theory which is a generalization of Einstein equations, study of the relation between the PMT and the concept of surgery.

Of American nationality, he defended his thesis at the University of Texan at Austin. Home: Jussieu Institute of Mathematics Résumé : There is considerable interest in extending classical representation theory of p‑adic groups to more general coefficient rings. David Helm and I have recently shown that the local Langlands correspondence for GL(n) interpolates over families of representations. The focus of the postdoc will be extending these questions, especially gamma factors and the integral Bernstein center, to reductive p‑adic groups beyond GL(n).

Of American nationality, he defended his thesis at the University of Wisconsin-Madison. Home: Laboratory of Probabilities and Random Models Résumé : Free energy large deviations in directed polymer models

Of French nationality, he defended his thesis at the University of Grenoble Alpes. Home: Department of Mathematics and Applications of the École Normale Supérieure Résumé : My research project is on the one hand to study the link between the existence condition of Kähler-Einstein metrics obtained in my thesis and K-stability, and on the other hand to use the techniques developed in my thesis in different frameworks to obtain other examples of canonical metrics on varieties with many symmetries.

Of Italian nationality, he defended his thesis at the Scuola Normale Superiore in Pisa. Home: Research Center in Decision Mathematics/ Inria Résumé : I want to study optimal multimarginal transport (especially for applications to DFT) and evolution equations with density constraints (crowd motion and tumor growth models).

Of Polish nationality, he defended his thesis at the University of Warsaw. Home: Institute for Fundamental Computer Science Research Résumé : The project concerns specification and automatic verification of systems allowing nondeterministic behaviours. We plan to study games and automata over infinite trees with alternative winning/ acceptance conditions. The semantics we want to consider are based on probability, cardinality and topology.

Of Italian nationality, he defended his thesis at the International School of Advanced Studies in Trieste. Home: Jacques-Louis Lions Laboratory Résumé : The first aim of the project is to obtain an integral representation and a relaxation result in the space BD. These two essential tools will next be applied to prove the convergence of damage to cohesive fracture in linearized elasticity and to construct quasistatic evolutions of brittle fracture.

Of British nationality, he defended his thesis at the University of Edinburgh. Home: Inria Project Team - Computer Science Department of the ENS Résumé : The recent surge of available data has enabled the automatic detection of patterns through machine learning. The every increasing dimensions of data and new applications from machine learning has brought new challenges to the design of numerical algorithms and the mathematics that underpins these algorithms. This postdoctral program sets out to design new stochastic optimization methods that can solve large scale convex optimization problems from machine learning, but also, do so with provenly fast convergence rates. As such, this program lies on the frontier between mathematics and computer science, on the one hand providing a rigorous analysis so as to establish a firm bases on which theory and practice can advance, but also, provide high‑performance software freely available on google code.

Of Lebanese nationality, he defended his thesis at Durham University. Home: Institute for Fundamental Computer Science Research Résumé : The union‑closed sets conjecture by Frankl asserts that, given a family of sets closed under taking unions, there exists an element that appears in at least half of the sets of the family. Recently Bruhn, Charbit, Schaudt and Telle formulated the conjecture in terms of a problem of graphs and obtain several interesting results (2012). Subsequently Bruhn and Schaudt considered a weakening of this graph analogue from a probabilistic perspective (2013) and their result was soon strengthened by Balister and Bollobas (2013). The project will consist in extending the above‑mentioned work ; considering both the full version and its probabilistic relaxation.

Of French nationality, he defended his thesis at the Joseph Fourier University of Grenoble. Home: Laboratory for Statistics, Analysis, and Multidisciplinary Modeling Résumé : The postdoctoral research focuses on break detection for linear models. The project's originality lies in the proposed new, data-dependent penalty. The consistency of this new criterion will be proven, and an algorithm illustrating the technique will be proposed.

Of Romanian nationality, he defended his thesis at the University of Savoie du Mont Blanc. Home: Department of Mathematics and Applications of the École Normale Supérieure Résumé : We plan to investigate partitions of some planar domains which minimize the largest Dirichlet‑Laplacian eigenvalue. There are just a few cases known theoretically and we believe that a numerical study may allow us to find good candidates for these optimal partition. During my phd thesis I used an algorithm for minimizing the sum of the eigenvalues. The plan is to modify this algorithm in order to be able to optimize the maximal eigenvalue. The difficulty is that the functional to minimize is not smooth. We plan to use some relaxation techniques to go around this difficulty.

Of Italian nationality, he defended his thesis at the University of Zurich. Home: Jussieu Institute of Mathematics Résumé : Study of the categories of motifs of rigid analytic varieties, with applications in arithmetic geometry. Use of La Fontaine-Scholze switching techniques to transfer cohomological results from the mixed characteristic to the positive characteristic or vice versa. Among these, the independence of ℓ for ℓ-adic cohomology, the monodromy-weight conjecture, the development of realization functors, and the six operations.

Of German nationality, he defended his thesis at the University of Cambridge. Home: Jacques-Louis Lions Laboratory Résumé : My research is focused on mathematical general relativity. It is now a very active area in pure mathematics which has its origin in physics in the relativistic theory of gravitation put forward by Einstein 100 years ago. Since then it has established itself as a subject of great interest in geometric partial differential equations, in particular non‑linear hyperbolic p.d.e.'s with deep roots in classical differential geometry. It is a subject in mathematics that has been guided by profound conjectures in physics and has produced many exciting results that have advanced our understanding of gravity, and non‑linear p.d.e.'s in general. I am currently pursuing two directions in the study of the Einstein equations of general relativity. The first is a stability problem for black hole spacetimes in the cosmological setting, which I describe below, and the second is a uniqueness problem for stationary spacetimes in the context of isolated self‑gravitating systems (...)

Of Italian nationality, he defended his thesis at the Università degli Studi of Milan. Home: Laboratory Analysis, Geometry and Applications Résumé : This project fits into the research field concerning the study of rigidity and classification results for singularity models for Hamilton's Ricci flow. The first part of the project is devoted to obtain sufficiently general geometric conditions under which shrinking Ricci solitons support a gradient Ricci soliton structure. Secondly, a more ambitious goal will be the classification of locally conformally flat expanding gradient Ricci solitons.

Of French nationality, he defended his thesis at the University of Zurich. Home: Laboratory of Probabilities and Random Models Résumé : The research project comprises three distinct parts, all focusing on random trees. The first part concerns the geometric properties of Lévy trees, examples of compact random metric spaces, and the question of, firstly, the existence of an exact Hausdorff measure for a certain subclass of such trees; and secondly, the study of the mass of exceptionally large balls in a stable tree. The second part concerns trees constructed by affine preferential attachment and the study of the geometric properties of sites with a high degree. This study involves the "loop tree" associated with the initial tree, and the convergence of this object towards a limit that remains to be defined. Finally, the last part deals with frozen fragmentation processes: an object of a certain mass splits into several parts of smaller masses which, in turn, are either frozen and remain so, or split again, and so on.

Of Israeli nationality, he defended his thesis at the University of Jerusalem. Home: Department of Mathematics and Applications Résumé : My research plan consists of studying and analyzing the descent‑fibration method, a combination of the fibration method with a sophisticated form of descent. This method, which was pioneered by Swinnerton‑Dyer in 94', is one of the most powerful methods for showing the existence of rational points on algebraic varieties. I wish to understand the minimal set of assumptions needed for the successful application of this method and to be able to use it in greater generality.

Of French nationality, he defended his thesis at the University of Toulouse. Home: Center for Research in Decision Mathematics Résumé : The project aims to determine the existence of long-term equilibrium payments in different continuous-time stochastic game models (Neyman model, Cardaliaguet et al. model, differential stochastic game model), and to compare these with discrete-time models. After identifying the specific characteristics of each model, universal techniques for proving the existence of long-term equilibrium payments could then be developed.

Of Italian nationality, he defended his thesis at the University of Seville. Home: Jacques-Louis Lions Laboratory Résumé : The main objective of this project is to build numerical models for the computation of the energetic efficiency of buildings, based upon the accurate parameterization of the thermal exchange between the air and the building through ROM (Reduced Order Models), combined with CFD (Computational Fluid Dynamics) tools. It is a highly challenging subject as usual procedures for the computation of the heat exchange are un‑useful due to the huge amount of degrees of freedom required and the large number of parameters involved. The final application of this research is the elaboration of computer‑aided programs for the eco‑efficient design of buildings.

Of British nationality, he defended his thesis at the University of Cambridge. Home: Center for Research in Decision Mathematics Résumé : Recent advances have lead to the development of techniques which can recover high resolution signals from far fewer samples than traditionally thought possible. However, the theory behind these techniques for many practical applications (such as medical imaging and image compression) is still far from complete and this is an issue which I will address. With my host, Gabriel Peyre, I intend to develop a theoretical understanding of the geometrical properties which can be recovered.

Of Iranian nationality, he defended his thesis at Duke University. Home: Computer Science Department of the ENS Résumé : My research is in the area of computational topology. It involves a mixture of algorithm design and data structure techniques and basic concepts from algebraic topology. I study various algorithmic problems in the area. Most specifically, I study Reeb graphs of simplicial complexes and various algorithmic problems related to their construction. In addition, I am interested in efficiency of computing homology groups in special cases, such as embedded complexes in euclidean spaces. In a most abstract level, I also consider various problems related to simplicial complexes which are realized in 4‑dimensional space.

Of Japanese nationality, he defended his thesis at Kyoto University. Home: Laboratory of Probabilities and Random Models Résumé : To understand the features of glass transition, a class of models, called kinetically constrained models, has been proposed. Vivien Lecomte, who is the principal investigator of this research project, and his collaborators found a non‑ analytic point in a large deviation function defined in this model, which is believed to be related to the nature of its glassy behavior. Still there are very few rigorous results that prove these properties. We will approach to this problem by using the technique "method of auxiliary dynamics" that has gathered attention in the field of non‑equilibrium physics community recently, and that is amenable to mathematical treatments.

Of Irish nationality, he defended his thesis at Oxford University. Home: Evidence, Programs and Systems Laboratory Résumé : We build on our recent work on unified structural treatments of non‑locality and contextuality, key features that distinguish quantum from classical physics. Connections can be found with diverse topics (databases, classical complexity theory, semantics of natural language, and dependence logic). The main objectives are : 1. to develop a deeper, semantic approach to these key non‑classical features, underpinned by robust and elegant mathematics ; 2. to use this to take a new approach to the axiomatisation and characterisation of quantum theory ; 3. to explore and widen the connections to mainstream computer science with a focus on the transfer of methods and insights between the fields.

Of Chinese nationality, he defended his thesis at Northeastern University. Home: Jussieu Institute of Mathematics Résumé : Applications of derived category of coherent shaves and oriented cohomology theories in representation theory.

Of Chinese nationality, he defended his thesis at the University of California. Home: Laboratory Analysis, Geometry and Applications Résumé : My research project consists of two parts : the first is the study of the local behavior of Galois representations attached to nearly ordinary Hilbert modular forms ; the second is the study of special cases of the Mumford‑Tate conjecture.

Of Chinese nationality, he defended his thesis at the Department of Mathematics of Nanjing University. Home: Jussieu Institute of Mathematics Résumé : There is a great development for the KAM theory in the investigation of the Schroedinger operators, which is concerned with particles and waves in disordered media in quantum physics. However, the situation is much less clear in the presence of nonlinearity, even though the nonlinearity is very weak. Study on the property of such nonlinear systemss is interesting. My work is dedicated to the understanding of the dynamical behavior of such nonlinear PDEs.

Of Chinese nationality, he defended his thesis at the School of Mathematical Sciences, Fundan University. Home: Center for Research in Decision Mathematics Résumé : Due to the complexity of well‑posedness and profile of entropy weak solutions, the controllability and (asymptotic) stabilization problems are difficult but worth to be investigated. In future research, we devote to studying more properties of the solutions and exploring new methods in depth for corresponding control problems of hyperbolic systems of conservation laws in the context of entropy solutions, such as exact controllability, (asymptotic) stabilization.

Of Romanian nationality, he defended his thesis at Berkeley. Home: Jussieu Institute of Mathematics Résumé : A K‑theoretic Landau‑Ginzburg/Calabi‑Yau mirror symmetry : study the relation between the quantum K‑theory of the quintic threefold and a properly defined quantum K‑theoretic version of FJRW theory.

Of Portuguese nationality, he defended his thesis at the University of Montpellier 2. Home: Jussieu Institute of Mathematics Résumé : This Research Project aims to investigate various direct applications of the results in my thesis and, in parallel, to continue the development of the theory : first with a formalism of vanishing cycles for noncommutative motives and secondly, by exploring the theories of En‑noncommutative motives, for each n > 0, and the connection with Deformation Quantization.

Of German nationality, he defended his thesis at the University of Vienna. Home: Laboratory of Algorithmic Computer Science: Foundations and Applications Résumé : The project focusses on the definition and investigation of partial orders on (m + 2)‑angulations of an (mn + 2)‑gon, defined by "flipping" diagonals. For m = 1, this construction yields the Cambrian lattices associated with the symmetric group. For m > 1, there are several ways to define the required "flips", so that we will obtain a wealth of posets. It is one goal of the project to investigate similarities and differences among these posets, as well as to investigate the connection to related objects, like the m‑Tamari lattice and m‑cluster complexes.

Of Korean nationality, he defended his thesis at Seoul University. Home: Department of Mathematics and Applications of the ENS Résumé : My main research plans are related to those equations and can be summarized as follows : 1. Existence and stability of viscous shocks for viscous conservation laws with inhomogeneous flux. 2. Asymptotic analysis (hydrodynamic limit, thermodynamic limit, etc) from kinetic equations to fluid equations. 3. PDEs describing fluid flows such as Navier‑Stokes‑Coriolis type equations, Saint‑Venant system.

Of Colombian nationality, he defended his thesis at Berkeley. Home: Jussieu Institute of Mathematics Résumé : The main goal of this project is to get a better understanding of the group theoretical properties of diffeomorphism groups of manifolds and the structure of their subgroups, focusing particularly on the case where the dimension of the manifold is two.

Of Israeli nationality, he defended his thesis at the Hebrew University of Jerusalem. Home: Department of Mathematics and Applications of the ENS Résumé : It concerns the study of rational points and 0‑cycles of degree 1 on fibred varieties. I plan to collaborate mostly with Olivier Wittenberg and Alexei Skorobogatov to generalize our current results in this area and advance in new directions. Furthermore, I aim to study new applications of Swinnerton‑Dyer's descent‑fibration method, extending current work in progress which has already produced results on new cases whose arithmetic was considered largely unknown.

Of Canadian nationality, he defended his thesis at the University of Montreal. Home: Jussieu Institute of Mathematics Résumé : The project consists of a study of the distribution of prime numbers in arithmetic progressions, in connection with recent results by Goldston-Pintz-Yildirm, Zhang, and Maynard-Tao. Our aim is to study quantities such as the variance of this distribution in certain intervals where the large sieve provides no information. We will also study a point count on reductions of an elliptic curve fixed over a function field and attempt to investigate the relationship between the bias of this count and the zeros of the associated L-functions. We will explore the effect of Ulmer's results concerning a family of very high-rank elliptic curves, as well as results by Kowalski and Jouve that imply the linear independence of the zeros of certain L-functions.

Of German nationality, he defended his thesis at the University of Heidelberg. Currently on a postdoctoral contract at CEREMADE (Paris-Dauphine University). Home: CEREMADE Résumé : Theoretical study of the mathematical relation between optimal transport and shape manifolds and the development of powerful corresponding numerical algorithms for applications.

Of Spanish nationality, he defended his thesis at the University of Valladolid. Home: Inria Project Team Résumé : The security of the most popular number‑theory public key crypto systems will be devastatingly affected by the success of a large quantum computer. Code‑based cryptography is one of the promising alternatives that are believed to resist classical and quantum computer attacks. The main aim of this research project is to build trust on this alternative and to achieve similar levels of performance of the current schemes in such a way that the success of the physicist will not bring an end to secure communication.

Of Indian nationality, he defended his thesis at Harvard. Home: Computer Science Department of the ENS Résumé : Understanding the complexity of learning under weak assumptions on data distributions. One direction is the setting of smoothed analysis, which asserts that there is inherent randomness in the underlying data. The other direction is to consider distributions generated by Markov Random Fields (MRFs). In addition, I would like to study connections between biological evolution and computational learning. I also have interests in stochastic models and randomized algorithms.

Of British nationality, he defended his thesis at Oxford University. Home: Inria Project Team Résumé : This project concerns the rigorous derivation of models for the temperature‑driven motion of dislocations via a thermodynamic limit. Dislocations are a kind of topological defect found in crystalline solids, and their motion plays a crucial role in the constitutive behaviour of such materials. The project aims to develop new mathematical tools for coarse‑graining models in out‑of‑equilibrium contexts.

Of English nationality, he defended his thesis at the University of Oxford. Currently a postdoctoral researcher/current instructor at New York University. Home: Department of Applied Mathematics of the ENS Résumé : Liquid crystals constitute a class of systems in condensed matter physics composed of anisotropic elementary particles. Due to the complexity of molecular models, effective models are often preferred. For nematic liquid crystals, the Pierre-Gilles de Gennes Q-tensor is a suitable macroscopic order parameter that is popular among physicists and in industry. Despite the success of this order parameter in physics, its rigorous mathematical justification has not yet been established. We propose to justify the Q-tensor, first for dilute particle systems and then for dense systems. We will use thermodynamic limit techniques (to obtain a kinetic model from the classical dynamics of anisotropic molecules), as well as hydrodynamic limit techniques.

Of Russian nationality, he defended his thesis at Lomonosov Moscow State University. Home: Jussieu Institute of Mathematics Résumé : Studying of interval identification systems which are a kind of generalization of interval exchange transformations and interval translation mappings.

Of Greek nationality, she defended her thesis at the National and Kapodistrian University of Athens. She is currently a postdoctoral researcher/Assistant Professor at the University of Michigan. Home: Jussieu Institute of Mathematics Résumé : The starting point of my proposed research would be questions arising from the three papers I have authored or coauthored up to now. These include a number of basic questions about the distribution of volume in isotropic convex bodies. In two of the papers, the main results are reductions of the well‑known hyperplane conjecture to the study of parameters which one can define for any isotropic convex body or any isotropic logarithmically‑concave measure, and which seem worth studying in their own right as they give rise to new questions about the "shape" and geometry of the isotropic position. On the other hand, in the third paper we exploit basic properties of the isotropic position that are already known so as to give an alternative proof of the reverse Santaló inequality that makes use only of convex‑geometric tools. The method introduced there can potentially be applied to give simpler proofs of other results as well which concern affine invariant parameters of convex bodies.

Of German nationality, he defended his thesis at Goethe University of Frankfurt. He is currently a postdoctoral researcher at McGill University in Montreal. Home: Inria RAP project team Résumé : My research plan consists of a further development of the method in particular with respect to random real trees as scaling limits of random trees. Here, we are mainly interested in left open problems from our joint work on the dual tree of recursive laminations of the disk and a more direct approach to this (and similar) problems not relying on the contour function. Another project is the development of the contraction method in function spaces with multiple parameters.

Of Israeli nationality, he defended his thesis at Tel Aviv University. Home: Jussieu Institute of Mathematics Résumé : The project addresses several fundamental problems in Discrete Geometry. I intend to revisit Geometric Transversals and tackle the celebrated weak epsilon‑net problem. I also plan to explore the curious relation between point, line, and hyperplane transversals (which lies at the heart of my Ph.D. result on geometric permutations). In addition, I want to simplify and extend my very recent analysis of the Delaunay triangulation of moving points.

Of Italian nationality, he defended his thesis at ETH Zurich. Home: Jacques-Louis Lions Laboratory Résumé : Studying the Ginzburg-Landau model with a magnetic field in three dimensions. Following the important work of Baldo-Jerrard-Orlandi-Soner, work remains to be done to study vorticity filaments in three dimensions and adapt them to the spacetime case (two dimensions in space and one in time) in the manner of Sandier-Serfaty. This could ultimately be used to address the dynamics of a large number of vortices in the two-dimensional Ginzburg-Landau model, an important open problem. The analysis of vorticity filaments, via current or varifold theory, requires significant expertise in geometric measure theory, which I developed during the writing of my thesis, which concerns the regularity of curvatures minimizing the Yang-Mills functional in supercritical dimensions.

Of German nationality, he defended his thesis at Humboldt University of Berlin. Home: Center for Research in Decision Mathematics Résumé : M. Gubinelli, P. Imkeller, and I recently developed a multi‑parameter extension of rough path theory. Building on deep insights of M. Hairer, this was applied to make sense of some nonlinear SPDEs with multidimensional spatial index set - largely an open field. My project at Paris‑Dauphine, together with M. Gubinelli, will focus on the further development of our theory and on its implications for nonlinear stochastic equations.

Of German nationality, she defended her thesis at the University of Cambridge. Home: Jussieu Institute of Mathematics Résumé : The aim of my project is to investigate the interaction between combinatorial number theory and Diophantine geometry, which was successfully started in a recent collaboration with T. Browning and A. Skorobogatov. In the first instance, several natural generalisations emerging from this project will be considered. These concern weak approximation and the Hasse principle for varieties arising from norm form equations.

Of Italian nationality, he defended his thesis at the Department of Mathematical Sciences, Politecnico di Torino. He is currently a postdoctoral researcher at ENS Cachan. Welcome: Welcomed at the Jacques Louis Lions Laboratory Résumé : The project deals with differential and integro‑differential equations relying on the formalism for structured populations and modelling the evolutionary dynamics of cancer cells, which express different phenotypic traits and are exposed to therapeutic actions. The project is devoted to define and study mathematical problems acting as in silico laboratories, where mechanisms that determine experimental results can be better understood. The mathematical interest lies in the formalism of constrained Hamilton‑Jacobi equations within the framework of viscosity solutions. The aim is to characterize the longterm temporal dynamics of the traits.

Of Israeli nationality, he defended his thesis at the Weizmann Institute. Home: Computer Science Department of the ENS Résumé : Secret key cryptographic primitives (block ciphers, stream ciphers, MACs and hash functions) play a very important role in secure communication. Since there is no method of formally proving that a cryptosystem is secure, there is no choice but to consider a cryptographic primitive secure if there are no known attacks against it. Thus, after a new cryptosystem is proposed (and before it is deployed), it should undergo extensive cryptanalytic effort to evaluate its resistance against known attacks, while trying to develop new techniques in order to break it. My main area of research is proposing new cryptanalytic techniques and applying them to both new and existing designs, focusing on algebraic techniques and analysis of generic constructions.

Of Russian nationality, he defended his thesis at Claude Bernard University in Lyon. Home: Jussieu Institute of Mathematics Résumé : Applications of model theory (generalized stability theory, forking calculus in NIP and NTP2) to algebraic and geometric questions in valued difference fields (e.g. non‑standard Frobenius automorphism acting on an algebraically closed valued field of characteristic 0) and in ultraproducts of p‑adics.

Of Chinese nationality, he defended his thesis at Princeton. Home: Department of Mathematics of the ENS Résumé : The proposed project aims at identifying the mathematical nature of "artistic styles" in music and paintings, and developing a classification algorithm to apply to digital art works. In the proposed model, "Art style" is seen as a set of invariants across the pieces of art works belonging to the same class. We will firstly investigate fine‑scale structures using their scattering representations. While the application to stylistic analysis is specific, the learning problem of extracting complex invariants from high‑dimensional data is generic, and a mathematical understanding is essential for developing efficient algorithms.

Of Portuguese nationality, he defended his thesis at the Massachusetts Institute of Technology. Home: Laboratory of Analysis, Geometry and Application Résumé : I plan to continue my investigation of the basic theory and applications of factorization (or chiral) homology, which is a recent and important manifold‑theoretic invariant of En‑algebras. I will also develop my work on stratified spaces, and the "categories of descending paths" associated with them. These have multiple geometric and combinatorial applications, in particular to factorization homology. In the long term, I plan to focus on the compelling applications of the little discs operads and the novel "categories of sticky configurations" to the description of spaces of smooth and topological embeddings. This constitutes a natural setting, and a conjectural refinement for embedding calculus.

Of Italian nationality, he defended his thesis at SISSA (Trieste) / Université Paris-Est Créteil. He is currently a postdoctoral researcher at the Centro di Ricerca Matematica "Ennio De Giorgi" / Scuola Normale Superiore di Pisa. Home: Emergence Project, IMJ Résumé : I would like to study some partial differential equations coming from fluid‑dynamics. In particular, I want to focus on the Euler system with variable density, in both the incompressible and compressible instances. I would like also to carry on the study of second order hyperbolic operators with variable (say non‑Lipschitz) coefficients.

Of Spanish nationality, he defended his thesis at the Politècnica University of Catalonia. Home: Emergence Project, IMJ Résumé : It is devoted to the exhaustive study of the nonlinear dynamics of thermal convection in fast rotating spherical shells, for low Prandtl number fluids and non‑slip boundary conditions. Tools of Dynamical Systems theory, largely and successfully applied to systems with few degrees of freedom, will be used. Improved numerical techniques will be applied in order to extend the range of parameters of previous studies.

Of Chinese nationality, he defended his thesis at the Academy of Mathematics and Systems Science, Chinese Academy of Science. Theme: Emergence Program - Hydrodynamic Instabilities Home: Jussieu Institute of Mathematics (UPMC, UP7, CNRS) And the Research Center in Decision Mathematics at Paris-Dauphine University (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).

Of Chinese nationality, he defended his thesis at Nanjing University. Personal page: Profile Thématique : Asymptotic Analysis of Some Stochastic Models from Population Dynamics and Population Genetics Home: Laboratory of Probabilities and Random Models (UPMC, UP7, CNRS) Résumé : My future work will mainly includes four parts : a, Spectral theory of Quasi‑periodic Schrödinger operators (absolutely continuous spectrum, regularity of IDS) b, Renormalization (the parabolic behavior in the local or global regime) c, Quasi‑periodically forced circle diffeomorphism (linearization of the system with super‑Liouvillean frequency, and global linearization results) d, Elliptic lower dimensional tori (existence of elliptic lower dimensional tori with Liouvillean frequency).

Of Chinese nationality, he defended his thesis at Sichuan University. He is currently at the Fraunhofer Institute for Industrial Mathematics. Thématique : The research of new divergence‑free finite element methods for Darcy‑Stokes‑Brinkman problems Home: Jacques-Louis Lions Laboratory (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.

A Canadian national, he defended his thesis at UC Berkeley, USA. He is currently a postdoctoral researcher in the Department of Mathematics at Ghent University. Thématique : On the complexity of mathematical problems : Medvedev degrees and reverse mathematics Home: Laboratory of Algorithmic Computer Science: Foundations and 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.

A Canadian national, he defended his thesis at UC Berkeley, USA. He is currently a CLE Moore Instructor and NSF postdoctoral fellow at MIT. Thématique : C0 Rigidity in Floer theory and Hofer geometry Home: Department of Mathematics and Applications of the Ecole Normale Supérieure (ENS, CNRS) Résumé : My research is in the field of symplectic geometry. In particular, I am interested in C0‑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 C0‑continuity properties of Hamiltonian spectral invariants, the spectral metric, and the Hofer metric. I intend to continue my investigation of C0‑continuity properties of various Floer‑theoretic and Hofer‑geometric constructions.

Of German nationality, he defended his thesis at the University of Cologne. He is currently at the Institute for Informatics at the University of Cologne. Thématique : The Structure of Dominating Subgraphs Home: Jussieu Institute of Mathematics (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.

He is a Canadian national who defended his thesis at the University of Toronto. Thématique : Asymptotic Analysis of Some Stochastic Models from Population Dynamics and Population Genetics Home: Laboratory of Probabilities and Random Models (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.

Of French nationality, he defended his thesis at the ENS of Lyon. He is currently a CNRS research fellow at Paris 5 University. Topic: Strong and false asymptotic freedoms of large random matrices Home: Laboratory of Probabilities and Random Models (UPMC, UP7, CNRS) Résumé : In my future research projects, I would like to continue developing the concept of traffic distributions. I intend to introduce a family of objects that could be called a family of Gaussian traffics, which intrinsically interpolates a Gaussian random variable and a semicircular operator. I plan to apply computational techniques developed during my doctoral thesis, such as the method of moments, to characterize the eigenvectors of certain families of random matrices. I would also like to revisit the theory of banded matrices using the tools of traffic distributions.

Of Moldovan and Romanian nationality, he defended his thesis at Copenhagen University. He is currently a professor at Queen's University in Kingston. Thématique : Multigraded Regularity and Asymptotic Invariants Home: Jussieu Institute of Mathematics (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.

A Danish national, he defended his thesis at Copenhagen University. He is currently at Scuola Internazionale Superiore di Studi Avanzati. Thématique : A calculation of the multiplicative character on higher algebraic K‑theory Home: Jussieu Institute of Mathematics (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.

Of Mexican nationality, he defended his thesis at New York University USA. Theme: Geometric Coincidences Home: Computer Science Laboratory of the 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.

Of Russian nationality, he defended his thesis at Northwestern University USA. He is currently at the Kavli Institute for the Physics and Mathematics of the Universe. Thématique : Resurgent analysis of the Witten Laplacian in One Dimension Home: Jussieu Institute of Mathematics (UPMC, UP7, CNRS) Résumé : Connections among Voros‑Ecalle's resurgence, Algebraic analysis of Kashiwara‑Schapira, and the Fukaya category.

Of Portuguese nationality, he defended his thesis at the Technical University of Darmstadt, Germany. Thématique : Proof interpretations : theoretical and practical aspects Home: Evidence, Programs and Systems Laboratory, CNRS, UPD-P7 and PiR2 Team, 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.

Of Korean nationality, he defended his thesis at KAIST (Korea Advanced Institute of Science and Technology). Postdoctoral researcher in the Department of Mathematical Sciences, KAIST. Thématique : Moments determine long‑time asymptotics for diffusion equations Home: Jacques-Louis Lions Laboratory (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.

Of Spanish nationality, he defended his thesis at the University of Cambridge. He is currently at the Alfred Rényi Institute of Mathematics in Budapest. Thématique : Developments at the interface between combinatorics and Fourier analysis Home: Department of Mathematics and Applications of the 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.

Of Armenian nationality, she defended her thesis at Otto-von-Guericke University Magdeburg, Germany. She is currently a researcher at the University of Bergen in Norway. Thématique : Boolean Functions for Cryptography Home: Laboratory for Analysis, Geometry and 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.

An American citizen, he defended his thesis at the University of Michigan. He is currently a postdoctoral fellow at IMPA. Thématique : Degeneracy loci and G2 flags Home: Jussieu Institute of Mathematics (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.

Of German nationality, he defended his thesis at the University of Mannheim. He is currently a postdoctoral researcher at the University of Mannheim. Theme: Mirror Symmetry Home: Department of Mathematics and Applications of the 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.

Of Italian nationality, he defended his thesis at the Università degli Studi di Torino. Topic: Algebraic Statistics Home: Applied Mathematics Laboratory at 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.

Of Italian nationality, he defended his thesis in 2010 at the Universita degli studi di Milano. He is currently a lecturer at the University of Bordeaux. Thématique : Hodge theory for singular complex varieties Home: Jussieu Mathematics Institute - Automorphic Forms

Of Chinese nationality, he defended his thesis at the Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences. Topic: Partial differential equations, fluid mechanics Home: Department of Mathematics and Applications of the 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.

Of German nationality, he defended his thesis at the University of Cambridge (UK). He is currently a lecturer at UPMC. Theme: Mathematics and Biology Home: Jacques-Louis Lions Laboratory (UPMC, CNRS) and 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 ?

Of Israeli nationality, he defended his thesis at the Courant Institute (NY). He is currently a postdoctoral researcher at the University of Alberta in Canada. Topic: Functional Analysis Home: Jussieu Institute of Mathematics (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.

An American citizen, he defended his thesis at the University of California (LA). Currently a PhD Researcher at the University of California, Los Angeles (USA). Topic: Verification Home: Laboratory of Algorithmic Computer Science: Foundations and 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.

Of British nationality, he defended his thesis at Oxford University. Topic: Noncommutative algebraic geometry Home: Jussieu Institute of Mathematics (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.

Of British nationality, he defended his thesis at the Oxford University Computing Laboratory. Theme: Automata Home: Laboratory of Algorithmic Computer Science: Foundations and 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.

An American citizen, he defended his thesis at the California Institute of Technology. He is currently an Assistant Professor at the University of Colorado, Boudler. Topic: Information Optimization and Processing Home: Jacques-Louis Lions Laboratory (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.

2010 recipient of the AXA Research Fund. Of Brazilian nationality, he defended his thesis at ETH Zurich. Theme: Random Walks Home: Department of Mathematics and Applications of the 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.

Of Spanish nationality, he defended his thesis at the University of Barcelona. Topic: Partial Differential Equations - Analysis of several kinetic and diffusive models in physics and mathematical biology Home: Research Center in Decision Mathematics of Paris-Dauphine University (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)$$.

An American citizen, he defended his thesis at Yale University. He is currently an Assistant Professor at the University of Alberta, Canada. Theme: Automorphic Forms Home: Jussieu Institute of Mathematics (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.

Of Korean nationality, she defended her thesis at UCLA. She is currently an Assistant Professor in the Department of Mathematics at Hankuk University of Foreign Studies. Topic: Scientific computing and imaging. Image restoration and segmentation in a variational framework. Home: Research Center in Decision Mathematics of Paris-Dauphine University (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.

Of German nationality, he defended his thesis at the University of Barcelona. He is currently a postdoctoral researcher at Moscow State University. Topic: Differential Galois Theory Home: Jussieu Institute of Mathematics (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.

An American citizen, he defended his thesis at the University of California - Los Angeles. Thématique : Vérification - Verifying High‑Level Correctness in Low‑Level Software Home: Laboratory of Algorithmic Computer Science: Foundations and 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)

Of German nationality, he defended his thesis at the University of Berlin. He is currently in the mathematics department at ETH Zurich. Theme: Population Dynamics Home: Laboratory of Probabilities and Random Models (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.

An American citizen, he defended his thesis at Stanford University. He is currently an assistant professor at the University of Illinois (Urbana-Champaign). Topic: Microlocal analysis and geometry - the Gauss Bonnet Theorem and index theory on conformally compact manifolds Home: Jussieu Institute of Mathematics (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.

Of American nationality, he defended his thesis at Carnegie Mellon University (USA). Home: Evidence, Programs and Systems Laboratory - 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...

Of German nationality, she defended her thesis at the University of Oxford (UK). She is currently a postdoctoral researcher at the University of Bonn. Topic: Classification of tensor categories Home: Jussieu Institute of Mathematics, Finite Groups Team - 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.

Of German nationality, she defended her thesis at Kaiserslautern. She is currently a lecturer at the Technical University of Kaiserslautern. Home: Jussieu Institute of Mathematics, Finite Groups Team - 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.

Of French nationality, he defended his thesis at the University of Oxford (UK). Currently, he is a lecturer at Paris Dauphine University. Personal page: Profile Personal website: Website Topic: Bayesian Statistics Home: Research Center in Decision Mathematics of Paris-Dauphine University – 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.

Of Italian nationality, he defended his thesis at Sissa, Trieste, Italy. He is now a lecturer at the University of Burgundy and holds a CNRS Chair. Thématique : Symplectic Field Theory, Gromov‑Witten theory and Integrable Systems Home: Jussieu Institute of Mathematics, Complex Algebraic Geometry - 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.

Of Vietnamese nationality, he defended his thesis at Indiana University (USA). Prager Assistant Professor at Brown University until the end of 2012, he is currently an Assistant Professor at Penn State University. Thématique : EDP hyperbolique, Long‑time stability of viscous boundary layers Home: Jussieu Institute of Mathematics - 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.

Of British nationality, he defended his thesis at the University of Cambridge (UK). He is currently an Assistant Professor at the University of Warwick. Theme: Percolation Home: Department of Mathematics and 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 related to the 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 Other 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

Of Italian nationality, he defended his thesis at the University of Maryland, College Park (USA). He was an ERC Research Associate in Mathematics until 2013, working on the Macroscopiec Laws and Dynamical Systems project (ERC Grant 246953). He is currently a postdoctoral researcher at the University of Toronto Mississauga. Thématique : Measure of escaping Home: Jussieu Institute of Mathematics - 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 n‑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.

Of Indian nationality, he defended his thesis at the University of Pittsburgh (USA). He is currently a professor at the University of Pittsburgh. Topic: Algebraic Geometry Home: Department of Mathematics and 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.

Of Portuguese and Swiss nationality, he defended his thesis at New York University (USA). He is currently a CNRS research fellow, IMJ functional team. Personal page: Profile Topic: Hydrodynamic limit Home: Department of Mathematics and Applications – UMR 8553 CNRS – ENS, Jacques-Louis Lions Laboratory – 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 : Mild solutions of Boltzmann's equation Long range interactions and smoothness estimates Kinetic models for superfluids Hydrodynamic limit of Boltzmann towards incompressible Euler Limiting vorticities with prescribed behavior for the Ginzburg‑Landau equations.

An Australian national, he defended his thesis at the University of Sydney. He is currently a postdoctoral researcher at the University of California, San Diego. Home: Jussieu Institute of Mathematics, Functional Analysis Team - UMR 7586 CNRS, UPMC, UPD Theme: Lie Groups 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

Of Swiss nationality, he defended his thesis at the University of Zurich. Currently an assistant professor at Syracuse University. Home: Jussieu Institute of Mathematics - 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.

Of Chinese nationality, he defended his thesis at Fudan University. He is currently an associate professor (School of Mathematical Sciences, Fudan University, Shanghai, China). Personal page: Profile Home: Jacques-Louis Lions Laboratory – UMR 7598 CNRS, UPMC Résumé : I will go on to study : global exact controllability and observability for more general hyperbolic systems with application to the related physical models ; essential relationship among exact controllability, observability and stability for quasilinear hyperbolic system ; 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 : 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. Lina GUO, Zhiqiang WANG, Exact boundary observability for nonautonomous quasilinear wave equations, J. Math. Anal. Appl., 364 (2010), 41--50. 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. 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. 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.

Of Bulgarian nationality, he defended his thesis at the California Institute of Technology (USA). He was recruited in 2009 as a Lecturer at Paris 7 Paris-Diderot University. Home: Jussieu Institute of Mathematics, Functional Analysis Team - 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 in Cayley-Todor graphs... by Sciences_Maths_Paris

Of Slovak nationality, he defended his thesis at Simon Fraser University, Canada. He is currently a Postdoctoral Fellow in the Department of Industrial Engineering and Operations Research at Columbia University, New York. Home: Laboratory of Algorithmic Computing: Foundations and 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.

Of German nationality, she defended her thesis at Kaiserslautern. She is currently a lecturer at the Technical University of Kaiserslautern. Home: Jussieu Institute of Mathematics, Finite Groups Team - 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.

Of Italian nationality, he defended his thesis at Princeton University (USA). He is currently an associate professor in the mathematics department at the University of Rome "Tor Vergata". Home: Research Center in Decision Mathematics of Paris-Dauphine University – 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.

Of Brazilian nationality, he supported his thesis at the Institute of Pure and Applied Mathematics. He is currently a post doctoral student at the IMPA (National Institute of Pure and Applied Mathematics). Home: Department of Mathematics and 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.

Of French nationality, she defended her thesis at Claude Bernard University Lyon 1. She was recruited in 2009 as a Lecturer at Pierre-et-Marie-Curie University. Home: Jussieu Institute of Mathematics - UMR 7586 CNRS, UPMC, UPD Résumé : The first research project concerns Ovsienko Lie antialgebras. These are new structures introduced in 2007 by Ovsienko. The aim is to study these structures by developing classical notions of representation theory (e.g., enveloping algebras, central extension, etc.). The second project proposes to use the combinatorics of the canonical Kashiwara-Lusztig basis in two distinct problems. One proposes to generalize constructions of mirror manifolds via toric degeneracies of manifolds due to Batyrev et al. The other proposes an algebraic study of the theory of continuous crystals recently introduced by Biane, Bougerol, and O'Connell in terms of Brownian motion.

Of Chinese nationality, he defended his thesis at MIT (USA). He is currently an assistant professor at the University of Michigan. Home: Jussieu Institute of Mathematics, Automorphic Forms Team - 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.

Of Uruguayan nationality, he defended his thesis at Trinity College, University of Cambridge (UK). He is currently a Research Fellow at Gonville and Caius College, University of Cambridge. Thématique : Higher dimensional category theory, in particular monoidal bicategories and applications. Home: Evidence, Programs and Systems Laboratory - 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.

A Luxembourg national, he defended his thesis at ETH Zurich. He now works at the Luxembourg financial markets regulator. Home: Laboratory of Probabilities and Random Models - 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.

Of Swedish nationality, he defended his thesis at IMPA, Brazil. Home: Department of Mathematics and 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.

Of Italian nationality, he defended his doctoral thesis at Aix-Marseille University 2, at the Luminy Institute of Mathematics. He was accepted into the CNRS in 2008 as a Research Fellow (Section 07 – Fundamental Computer Science). He is currently a Research Fellow at the Paris North Computer Science Laboratory. Topic: Semantics of concurrent computation models based on linear logic Home: Evidence, Programs and Systems Laboratory - UMR 7126 CNRS, UPD P7 Résumé : For a long time, there has been an aspiration to bring concurrent calculus closer to logic, in a way similar to the Curry-Howard correspondence for functional programming. Recently, the work of Ehrhard and Laurent on differential interaction networks has revived the movement in this direction. Starting from a separation result recently obtained with Michele Pagani, as well as from my work on multiport networks, and by adapting the objects I developed to interpret Lafont interaction combinators (the "buildings"), we propose to develop a semantic study of differential networks, in order to define new logical systems (in the style of Ludique) capable of extending Curry-Howard to concurrency. Publication related to his post-doc: Damiano Mazza. Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators. Logical Methods in Computer Science, 5(4:6), 2009. Other publication: Patrick Baillot and Damiano Mazza. Linear Logic by Levels and Bounded Time Complexity. Theoretical Computer Science, 411(2):470‑503, 2010.

Of French nationality, he defended his thesis at ENS Lyon. He was recruited in 2009 as a Lecturer at the University of Paris XI - Orsay. Topic: On the limits of large Gaussian random matrices Home: Laboratory of Probabilities and Random Models - UMR 7599 CNRS, UPMC, UPD P7 Résumé : I would like to continue my research on large random matrices, as I began in my doctoral thesis. The combinatorics that naturally arise in these models still raise many open questions. Following on from these ideas, I would like to study the links established by theoretical physics between random matrices and geometry—links that are often still poorly understood from a mathematical perspective. Another topic close to my heart is the study of particle systems in relation to the eigenvalues ​​of dynamic random matrices, whether from a macroscopic or microscopic point of view, including the study of the largest eigenvalue process.

Holding dual French and German citizenship, he defended his thesis at the University of Freiburg. He is currently a professor at the University of Leeds. Theme: Motivational Integration Home: Department of Mathematics and Applications - UMR 8553 CNRS - ENS Résumé : For sufficiently large p, the fields Qp and Fp⸨t⸩ are similar. For some statements that express this precisely, explicit bounds for p are known; for others, none are yet known. The first goal of the project is to find bounds in the cases where they are not yet known; the second goal is to improve the known bounds. For the second goal, the main method will be to improve known algorithms for quantifier elimination and cell decomposition in valued Henselian fields with zero residual characteristic.

Of Greek nationality, he defended his thesis at the University of Athens. He was subsequently recruited in 2008 as a Professor at the University of Athens. Theme: Interaction between Set Theory, Analysis and Topology Home: Jussieu Institute of Mathematics, Functional Analysis Team - 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.