Jonathan ConradExpertise
Quantum Error Correction, Lattice Theory
Teaching & PhD Courses Methods in Quantum Error Correction CS-632 This course discusses mathematical methods of quantum error correction in the style via presentation and discussion of research papers. It covers basic algebraic and geometric properties of quantum error correcting codes and fault tolerance theory and prepares for research in this field.
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-
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
Michael Christoph GastparMichael Gastpar is a (full) Professor at EPFL. From 2003 to 2011, he was a professor at the University of California at Berkeley, earning his tenure in 2008.
He received his Dipl. El.-Ing. degree from ETH Zürich, Switzerland, in 1997 and his MS degree from the University of Illinois at Urbana-Champaign, IL, USA, in 1999. He defended his doctoral thesis at EPFL on Santa Claus day, 2002. He was also a (full) Professor at Delft University of Technology, The Netherlands.
His research interests are in network information theory and related coding and signal processing techniques, with applications to sensor networks and neuroscience.
He is a Fellow of the IEEE. He is the co-recipient of the 2013 Communications Society & Information Theory Society Joint Paper Award. He was an Information Theory Society Distinguished Lecturer (2009-2011). He won an ERC Starting Grant in 2010, an Okawa Foundation Research Grant in 2008, an NSF CAREER award in 2004, and the 2002 EPFL Best Thesis Award. He has served as an Associate Editor for Shannon Theory for the IEEE Transactions on Information Theory (2008-11), and as Technical Program Committee Co-Chair for the 2010 International Symposium on Information Theory, Austin, TX.
Harald BruneOriginaire de Münich en Allemagne, né en 1961, Harald Brune obtient son diplôme en physique de l'Université Ludwig Maximilians en 1989. Après une thèse en chimie physique à l'Institut Fritz-Haber de la Société Max-Planck à Berlin il obtient son titre de docteur ès sciences en 1992. Dès cela, il rejoint le groupe du Prof. K. Kern à l'Institut de physique expérimentale à l'EPFL. En 1995 il est chercheur invité à Copenhague travaillant en modélisation chez le Prof. J. Nørskov. De retour à l'EPFL, il se voit décerné le prix Latsis EPFL 1996 pour ses études par microscopie à effet tunnel de processus atomiques déterminants la croissance cristalline de couches minces. En 1998 il obtient son habilitation (venia legendi) en Physique et est nommé Maître d'enseignement et de recherche (MER) en nanophysique à l'EPFL. La même année il recoit une offre de Professeur Ordinaire (C4) de l'Université Philipps de Marburg. Début 1999 il réfuse cette offre et accepte un poste de Professeur Extraordinaire à l'EPFL et s'installe au sein de l'Institut de la Physique des Nanostructures. Il est nommé Professeur Ordinaire en 2005. Sa recherche porte sur les propriétés physiques (en particulier le magnétisme et la structure électronique) de nouvelles formes de la matière condensée comme des nanostructures et des couches ultra-minces. Il s'intéresse également à la catalyse hétérogène sur des systèmes inspirés dans leur composition et taille par celle des sites actives dans les enzymes en biologie. Il enseigne la Physique Générale pour ingénieurs, la Physique des matériaux solides pour physiciens, les méthodes expérimentales pour physiciens, ainsi que la Physique des surfaces, interfaces et nanostrcutures à l'école doctorale.
Kathryn Hess BellwaldKathryn Hess Bellwald received her PhD from MIT in 1989 and held positions at the universities of Stockholm, Nice, and Toronto before moving to the EPFL.Her research focuses on algebraic topology and its applications, primarily in the life sciences, but also in materials science. She has published extensively on topics in pure algebraic topology including homotopy theory, operad theory, and algebraic K-theory. On the applied side, she has elaborated methods based on topological data analysis for high-throughput screening of nanoporous crystalline materials, classification and synthesis of neuron morphologies, and classification of neuronal network dynamics. She has also developed and applied innovative topological approaches to network theory, leading to a powerful, parameter-free mathematical framework relating the activity of a neural network to its underlying structure, both locally and globally.In 2016 she was elected to Swiss Academy of Engineering Sciences and was named a fellow of the American Mathematical Society and a distinguished speaker of the European Mathematical Society in 2017. In 2021 she gave an invited Public Lecture at the European Congress of Mathematicians. She has won several teaching prizes at EPFL, including the Crédit Suisse teaching prize and the Polysphère d’Or.
Pablo Antolin SanchezTeaching & PhD PhD Students Philipp Christoph Weder, Davor Dobrota Past EPFL PhD Students as codirector Ondine Chanon Courses Analysis III MATH-202(c) The course studies the fundamental concepts of vector analysis and Fourier-Laplace analysis with a view to their use in solving multidisciplinary problems in scientific engineering. Analysis III (for IC) MATH-203(d) The course studies the fundamental concepts of vector analysis and Fourier-Laplace analysis with a view to thei
Petr MotlicekTeaching & PhD PhD Students Shashi Kumar Past EPFL PhD Students as codirector Subhadeep Dey, Weipeng He, Juan Pablo Zuluaga Gomez Courses Digital Speech and Audio Coding EE-719 The goal of this course is to introduce the engineering students state-of-the-art speech and audio coding techniques with an emphasis on the integration of knowledge about sound production and auditory perception through signal processing techniques.
Andrei NegutTeaching & PhD PhD Students Archi Kaushik, Niccolò Giacomini, Paul Vögele Courses Algebra II - groups MATH-211 This course deals with group theory, with particular emphasis on group actions and notions of category theory. Linear algebra (english) MATH-111(en) The purpose of the course is to introduce the basic notions of linear algebra and its applications. Representation Theory II - Lie groups and algebras MATH-429 This is a standard course on Lie groups, L
Robert DalangRobert Dalang, né en 1961, a reçu le diplôme de Mathématicien-EPFL en 1983 et est lauréat du Prix Dommer. Il passe l'année 1985-86 à Cornell University (USA) comme chercheur invité. Il obtient le doctorat au Département de mathématiques de l'EPFL en 1987. Son domaine de spécialisation est la théorie des processeurs stochastiques. En 1987, Robert Dalang est nommé professeur assistant au Département de statistiques de l'Université de Californie à Berkeley (USA). En 1988, il reçoit une bourse post-doctorale du Fonds national scientifique américain et effectue des recherches sur les propriétés markoviennes de processus stochastiques à plusieurs paramètres. En 1990, il est nommé à Tufts University (Boston, USA). Il est promu professeur associé en mai 1993. Une partie importante de ses recherches se font dans le cadre de contrats avec le Fonds national scientifique américain et l'Office de la recherche de l'armée américaine. En collaboration avec le Prof. R. Cairoli du Département de mathématiques de l'EPFL, il a écrit un livre sur l'optimisation stochastique séquentielle publié en 1996 aux éditions John Wiley. M. Dalang est nommé professeur extraordinaire de probabilités au Département de mathématiques en 1995. Il y poursuit des travaux de recherche en processus stochastiques et probabilité appliquée et participe à l'enseignement des processus stochastiques, de la théorie des probabilités et des cours de mathématiques aux sections d'ingénieurs. Il dirige régulièrement des thèses de doctorats, est éditeur de plusieurs journaux de recherche mathématique et travail en collaboration avec des chercheurs de plusieurs universités européennes et américaines.
Viktor KuncakViktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.
Frédéric MilaExpertise
Condensed matter theory, strongly correlated systems, frustrated and quantum magnetism, tensor networks
Mission
Perform research in condensed matter theory, whenever possible in collaboration with experimentalists at EPFL and throughout the world
Current Work
- Magnetism on the Shastry-Sutherland lattice- Tensor network approach to 2D strongly correlated systems- Thermal properties of 2D frustrated quantum magnets- Exotic phases of quantum one-dimensional models
Since 2003 Full Professor at EPFL (
