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
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.
Roger SauserTeaching & PhD Courses Descriptive geometry (for MAN) PREPA-091 The course addresses the techniques of parallel projections (axonometry and Monge representation) and central projection (perspective) in order to develop the student's ability to describe and study objects and spatial situations by illustrating them with technical drawings. ICS (for CMS) PREPA-026 The present course presents numerical methods for solving nonlinear equations, computing definite integrals and sol
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
Sofia Charlotta OlhedeI am a professor of Statistics at EPFL. I did my PhD in Mathematics at Imperial College London, and graduated in 2003. I was an assistant professor (lecturer) at Imperial College London 2002-2006, and an associate professor (senior lecturer) 2006-2007. In 2007 I moved to University College London and became a full professor. I moved to EPFL in 2019, and in 2018 I became an Institute of Mathematical Statistics Fellow with citation “For seminal contributions to the theory and application of large and heteroge
Damir FilipovicDamir Filipovic holds the Swissquote Chair in Quantitative Finance and is Swiss Finance Institute Professor at the Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland. Prior to this, he was head of the Vienna Institute of Finance and professor at the University of Vienna. He previously held the chair of financial and insurance mathematics at the University of Munich, and he was on the faculty of Princeton University. He received his Ph.D. in mathematics from ETH Zurich in 2000. Damir Filipovic worked as a scientific consultant for the Swiss Federal Office of Private Insurance from 2003 to 2004. There he co-developed the Swiss Solvency Test, which defines the regulatory capital requirement for all Swiss based insurance companies and groups. He is on the editorial board of several academic journals. His research interests include the term structure of interest rates, credit and volatility risk, quantitative methods in risk management, and stochastic processes. His papers have been published in a variety of academic journals including the Journal of Financial Economics, Mathematical Finance, Finance and Stochastics, and the Annals of Applied Probability. He is the author of a textbook titled Term-Structure Models.
Dominique PiolettiDominique Pioletti received his Master in Physics from the Swiss Federal Institute of Technology Lausanne (EPFL) in 1992. He pursued his education in the same Institution and obtained his PhD in biomechanics in 1997. He developed original constitutive laws taking into account viscoelasticity in large deformations. Then he spent two years at UCSD as post-doc fellow acquiring know-how in cell and molecular biology. He was interested in particular to gene expression of bone cells in contact to orthopedic implant. In April 2006, Dominique Pioletti was appointed Assistant Professor tenure-track at the EPFL and is director of the Laboratory of Biomechanical Orthopedics. His research topics include biomechanics and tissue engineering of musculo-skeletal tissues; mechano-transduction in bone; development of orthopedic implant as drug delivery system. Since 2013, he has been promoted to the rank of Associate Professor.
Robert WestRobert West is a tenure-track assistant professor of computer science at EPFL, where he heads the Data Science Lab. In his research, he develops and applies techniques in machine learning, computational social science, natural language processing, social network analysis, and data mining. Bob also collaborates closely with the Wikimedia Foundation, in his role as a Wikimedia Research Fellow. Bob’s work has won several awards, including best/outstanding paper awards at ICWSM’21, ICWSM’19, and WWW’13, a best-paper runner-up award at WWW’16, a Google Faculty Research Award, a Facebook Research Award, a Hewlett-Packard Graduate Fellowship, and a Facebook Graduate Fellowship. He is actively involved in the research community, e.g., as an Associate Editor of ICWSM and EPJ Data Science and as a co-founder of the Wiki Workshop (held at WWW and ICWSM) and the Applied Machine Learning Days. Bob received his PhD in Computer Science from Stanford University, his MSc from McGill University, Canada, and his undergraduate degree from Technische Universität München, Germany.[Last updated: 25 Aug 2021]