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
Jan Sickmann HesthavenProf. Hesthaven received an M.Sc. in computational physics from the Technical University of Denmark (DTU) in August 1991. During the studies, the last 6 months of 1989 was spend at JET, the european fusion laboratory in Culham, UK. Following graduation, he was awarded a 3 year fellowship to begin work towards a Ph.D. at Riso National Laboratory in the Department of Optics and Fluid Dynamics. During the 3 years of study, the academic year of 1993-1994 was spend in the Division of Applied Mathematics at Brown University and three 3 months during the summer of 1994 in Department of Mathematics and Statistics at University of New Mexico. In August 1995, he recieved a Ph.D. in Numerical Analysis from the Institute of Mathematical Modelling (DTU). Following graduation in August 1995, he was awarded an NSF Postdoctoral Fellowship in Advanced Scientific Computing and was approinted Visiting Assistant Professor in the Division of Applied Mathematics at Brown University. In December of 1996, he was appointed consultant to the Institute of Computer Applications in Science and Engineering(ICASE) at NASA Langley Research Center (NASA LaRC). As of July 1999, he was appointed Assistant Professor of Applied Mathematics, in September 2000 he was awarded an Alfred P. Sloan Fellowship, as of July 2001 he was awarded a Manning Assistant Professorship, and in March 2002, he was awarded an NSF Career Award. In January 2003, he was promoted to Associate Professor of Applied Mathematics with tenure and in May 2004 he was awarded Philip J. Bray Award for Excellence in Teaching in the Sciences (the highest award given for teaching excellence in all sciences at Brown University). He was promoted to Professor of Applied Mathematics as of July 2005. From October 2006 to June 2013, he was the Founding Director of the Center for Computation and Visualization (CCV) at Brown University. As of October 2007, he holds the (honorary) title of Professor (Adjunct) at the Technical University of Denmark. In November 2009, he successfully defended his dr.techn thesis at the Technical University of Denmark and was rewarded the degree of Doctor Technices -- the highest academic distinction awarded based on ... substantial and lasting contributions that has helped to move the research area forward and penetrated into applications. As grant Co-PI he served from Aug 2010 to June 2013 as Deputy Director of the Institute of Computational and Experimental Research in Mathematics (ICERM), the newest NSF Mathematical Sciences Research Institute. After having spend his entire academic career at Brown University, Prof Hesthaven decided to pursue new challenges and joined the Mathematics Institute of Computational Science and Engineering (MATHICSE) at Ecole Polytechnique Fédérale de Lausanne (EPFL) in Switzerland in July 2013. In March 2014 he was elected SIAM Fellow for contributions to high-order methods for partial differential equations.
James Richard LarusExpertise
James Larus is a Professor Emeritus and former Dean of the School of Computer and Communication Sciences (IC) at EPFL (école Polytechnique Fédérale de Lausanne). Before joining IC in October 2013, Larus was a researcher, manager, and director in Microsoft Research for over 16 years and an Assistant and Associate Professor in the Computer Sciences Department at the University of Wisconsin, Madison.Larus has been an active contributor to numerous communities. He published over 100 papers (with 14 be
Florian Lucas JatonFlorian Jaton is a researcher and lecturer at EPFL (College of Humanities) and at the University of Lausanne (Faculty of Social and Political Sciences). He previously worked at the Donald Bren School of Information and Computer Science at the University of California, at the Centre de sociologie de l'innovation at Mines Paris, and at the Geneva Graduate Institute of International and Development Studies. His research interests are the sociology of algorithms, the philosophy of mathematics, and the history o
Jean-Paul Richard KneibExpertise
Cosmology, Gravitational Lensing, Redshift Survey, First Galaxies, Cluster of Galaxies, Fiber-positioner robotic system, Radio Astronomy, Space Sustainibility
Current work
- Former Principal investigator of the SDSS-IV eBOSS project. This is an international project assembling more than 150 participants located mainly in Europe, USA and China. This project will observe 1.5 million galaxy and quasars over 2014-2020 to accurately measure the expansion history of the Universe. * Member of the DESI co
Berend SmitBerend Smit received an MSc in Chemical Engineering in 1987 and an MSc in Physics both from the Technical University in Delft (the Netherlands). He received in 1990 cum laude PhD in Chemistry from Utrecht University (the Netherlands). He was a (senior) Research Physicists at Shell Research from 1988-1997, Professor of Computational Chemistry at the University of Amsterdam (the Netherlands) 1997-2007.
In 2004 Berend Smit was elected Director of the European Center of Atomic and Molecular Computations (CECAM) Lyon France. Since 2007 he is Professor of Chemical Engineering and Chemistry at U.C. Berkeley and Faculty Chemist at Materials Sciences Division, Lawrence Berkeley National Laboratory. Since 2014 he has been director of the Energy Center at EPFL.
Johanni Michael BreaTeaching & PhD PhD Students Aude Maier, Lucas Louis Gruaz, Flavio Martinelli Courses Artificial intelligence and society HUM-286 This course integrates social sciences and humanities with engineering sciences, and introduces students to the social, technical and political issues surrounding artificial intelligence. Biological data science II : machine learning BIO-322 Students understand basic concepts and methods of machine learning. They can describe them in mathematical
Andreas PautzTeaching & PhD PhD Students Sofia Portolan, Michel Saliba, Bishal Torrente, Alexis Paul Boris Claude Dupont-Bembinoff, Cynthia Camila Güttlein Past EPFL PhD Students Ting Zhu, Vladimir Vladimirov Brankov, Boris Aviv Hombourger, Damar Canggih Wicaksono, Petra Mala, Adolfo Rais, Valentyn Bykov, Daniel Jerôme Siefman, Evgeny Nikitin, Dionysios Chionis, Oskari Ville Pakari, Friederike Bostelmann, Jiani Gao, Efstathios Vlassopoulos, Alessandro Scolaro, Stefan Radman, Alexander Aures, Lubomír Bures, Ahmed Salah
Maria BrbicMaria Brbic is an assistant professor in computer science at EPFL. Prior to joining EPFL, Maria was a postdoctoral researcher in Computer Science at Stanford University working with Jure Leskovec. She received her PhD degree from University of Zagreb in 2019, while also researching at Stanford University and University of Tokyo. Her research was awarded with the Fulbright Scholarship, L’Oreal UNESCO for Women in Science Scholarship, Branimir Jernej award for outstanding publication in biology and biomedicine, and Josip Loncar Silver Plaque award for the best doctoral dissertation. She has been named a Rising Star in EECS by MIT in 2021. Her research is focused on developing new machine learning methods and applying her methods to advance biomedical research.
Show more