Michaël UnserExpertise
Image Processing, Medical Imaging, Biological Imaging, Wavelets, Splines, Multiresolution
Michael Unser is Full Professor with EPFL’s school of Engineering and the academic director of EPFL's Center for Imaging, Lausanne, Switzerland. His primary areas of investigation are signal processing, biomedical imaging and applied functional analysis. He is internationally recognized for his research contributions to sampling theory, wavelets, the use of splines for image processing, stochastic processes,
Guido BurmeisterTeaching & PhD Courses Physics (for CMS) PREPA-022 To understand the phenomena and fundamental laws for rotations (theorem for the angular momentum, electrostatics and magnetostatics. Physics (for CMS) PREPA-021 To understand the fundamental phenomena of newtonian mechanics and the laws describing them, in particular the vector quantities (e.g. Newton's law). Physics (for MAN) PREPA-033 This course presents how to broach some natural phenomena by adequate mode
Simon GuilloudExpertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as probabilistic proofs, type theory, quantum computing and more.
Expertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as
Vladimir ManucharyanTeaching & PhD PhD Students Chulwoo Ahn, Marco Nicolas Mueller, Taketo Imaizumi, Andrea Lizzit, Andrea Duina, Nikola Dimitrov Dimitrov Courses Microwave engineering in physics QUANT-410 This course aims at teaching basic notions and tricks of microwave engineering to students with only an elementary knowledge of applied electromagnetism. Emphasis is made on topics that often arise in modern physics experiments, including quantum science and technology research. Quantum mechanics for non-
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
Guillaume Alexandre C OlikierExpertise
Continuous optimization, numerical analysis
Guillaume Olikier is a postdoctoral researcher (Bernoulli Instructor) within the Institute of Mathematics at EPFL. He received an engineering degree in applied mathematics (2017) and a PhD in engineering sciences and technology (2023) from UCLouvain, Louvain-la-Neuve, Belgium. From 2023 to 2025, he was a postdoctoral researcher (Starting Research Position) at the Inria Centre at Université Côte d’Azur, Sophia Antipolis, France. His main research area is
Sixuan Sven WangTeaching & PhD PhD Students Leonardo Nevali Courses Bayesian statistics MATH-339 A first introduction to Bayesian statistics, assuming knowledge from first courses in statistics and probability. We will focus on foundational statistical and mathematical aspects such as the decision theoretic background, consistency for large sample sizes, and algorithms for Bayesian computation.
Cécile HardebolleCurrent work
Responsible information systems (https://go.epfl.ch/digitalethics), ethical skills Jupyter notebooks for education (https://go.epfl.ch/notebooks), digital skills, computational thinking Transversal/professional skillsEngineering design skillsFlipped classrooms Project-based learning
Education PhD | Computer Science 2006 – 2008 Université Paris-Sud XI, France Directed by Prof. Guy Vidal-Naquet MSc | Electrical Engineering, major in Computer and Inf Maria ColomboTeaching & PhD PhD Students Roberto Colombo, Antonio Tirotta, Carl Johan Peter Johansson, Giulia Mescolini Past EPFL PhD Students Luigi De Rosa, Silja Noëmi Aline Haffter, Massimo Sorella Courses Analysis IV - Lebesgue measure, Fourier analysis MATH-205 Learn the basis of Lebesgue integration and Fourier analysis Topics on the Euler and Navier-Stokes equations MATH-647 This topics course focuses on recent and classical fundamental results on the Euler and Navier-Stokes equa
Sacha FriedliDiploma of Physics, Université de Lausanne, 1999
Phd, Institut de Physique Théorique, EPFL, 1999-2004
Post-doc, IMPA (Instituto Nacional de Matemática Pura e Aplicada), Rio de Janeiro, Brasil, 2004-2006
Adjunct professor, Departamento de Matemática (Universidade Federal de Minas Gerais), 2006-2016
Collaborateur Scientifique, Cours de Mathématiques Spéciales, EPFL, Lausanne, 2016-
