Laura GrigoriExpertise
Numerical linear algebra, deterministic and randomized algorithmsHigh performance computing for scientific applicationsHigh dimensional problems and tensor computationsApplications in astrophysics, molecular simulations, etcCombinatorial scientific computingMathematical Software
Teaching & PhD PhD Students Israa Fakih, Zhipeng Xue, Andrea Di Antonio, Mariana Graciela Martinez Aguilar, Guifré Sánchez i Serra Courses Numerical analysis and computational mathematics MATH-456 The cou
Florian Karl RichterCurriculum vitae You can download my CV here
ResearchResearch Fields Ergodic Theory, Combinatorics, Number TheoryList of Publications Open-access preprints and e-prints of all my publications are freely available on arXiv ↗ .An inverse theorem for sumsets of sets of positive density in the integersEthan Ackelsberg, Florian K. Richter submitted, 117 pageslink ↗Weighted averages of arithmetic functions and applications to equidistributionVitaly Bergelson, Michael Reilly, Florian K. Richter submitted, 29 page
Parmenion MavrikakisExpertise
Computational electromagnetics, integral equations, finite element analysis, metasurfaces, photonics, plasmonics and microwaves.
Current Work
Developing a C++ code for the modeling of light scattering in layered media with the surface integral equation method.
I am a PhD student in the Electrical Engineering Department (EDEE) at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Nanophotonics and Metrology Laboratory (NAM), part of the Microengineering Department (IEM) at EPFL. M
Michael HerbstExpertise
For more information about our research, see https://matmat.org/research/.
Teaching & PhD PhD Students Niklas Frederik Schmitz, Anna Paulish, Bruno Ploumhans, Benedikt Menges Courses Error control in scientific modelling MATH-500 Errors are ubiquitous in computational science as neither models nor numerical techniques are perfect. With respect to eigenvalue problems motivated from materials science and atomistic modelling we discuss, implement and apply numerical techniques for e Georgios MoschidisTeaching & PhD PhD Students Abraham Gabriel Dorsaz Courses Analysis IV (for EL, GM, MX) MATH-207(c) This course serves as an introduction to the theory of complex analysis, Fourier series and Fourier transforms, the Laplace transform, with applications to the theory of ordinary and partial differential equations. These tools play an integral role in most branches of science and engineering. Differential geometry I - curves and surfaces MATH-213 This course serves as an intr
Pawel DuchExpertise
My present research focuses on the intersection between probability theory, PDE theory and Euclidean quantum field theory. I am especially interested in problems involving singular stochastic partial differential equations and renormalization. I have also a background in mathematical aspects of perturbative and axiomatic quantum field theory as well as general relativity.
I am a postdoctoral researcher in the group of Martin Hairer. Previously, I was a postdoc at Adam Mickiewicz University in Pozn
Leonid MoninTeaching & PhD Courses Algebra III - rings and fields MATH-215 This is an introductory course in ring and field theory. Analysis I (English) MATH-101(en) We study the fundamental concepts of analysis, calculus and the integral of real-valued functions of a real variable. Topology III - Homology MATH-323 Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is
Thomas Georges Pierre VidickTeaching & PhD PhD Students Itammar Steinberg, Aviv Taller Courses Formal Mathematics with Lean and AI CS-643 This graduate course provides an introduction to using Lean proof assistant to formalize mathematical definitions and theorems. We will have lectures on foundations (formal proofs, dependent type theory), learn about practice (proof tactics, use of AI, etc) and work on a formalization project. Introduction to quantum computation CS-308 The course introduces the para
Martin HairerTeaching & PhD PhD Students Colin Piernot, Wenhao Zhao, Declan Rellan Stacy Courses Advanced stochastic analysis MATH-525 This course will give you in-depth knowledge in some topics of modern stochastic analysis. We will start with a general introduction to Gaussian measure theory followed by an introduction to Malliavin calculus and a selection of advanced topics.
Awards Fermat Prize Institut de Mathématiques de Toulouse 2013 Fields Medal IMU 2014 Honorary doctorate in science Hong Kong
Sankalp GambhirExpertise
My current research revolves around proof assistants and program verification. I often find myself distracted by related topics in verification, synthesis, and logic as well. I have briefly worked in quantum information theory as part of my bachelor's thesis before.I am currently working primarily on the LISA proof assistant, writing proofs, and thinking about programs. Always happy to chat about computer science, maths, or physics!
I am a doctoral assistant at EPFL working with Prof. Viktor KunÄ
