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
Giovanni De MicheliExpertise
Design technologies for integrated systems on silicon, such as synthesis, hw/sw codesign and low-power design, as well as systems on heterogeneous platforms including electrical and biological components.
Scientific Director of EcoCloud Center at EPFL
Directing activities towards creating sustainable computation including AI.Designing energy-savvy data centers and edge devices.
More information
Please read http://si2.epfl.ch/~demichel/
Giovanni De Micheli is a research scientist in electronics and Mika Tapani GöösWebsite
https://theory.epfl.ch/mika/
Teaching & PhD PhD Students Valentin Imbach, Ziyi Guan, Artur Riazanov, Anastasiia Sofronova, Weiqiang Yuan Past EPFL PhD Students Maystre Gilbert Théodore Courses Computational complexity CS-524 In computational complexity we study the computational resources needed to solve problems and understand the relation between different types of computation. This course advances the students knowledge of computational complexity, and develop an understanding o 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.
Clément Pit-ClaudelTeaching & PhD PhD Students Yawen Guan, Kacper Feliks Korban, Can Cebeci, Alexandre Pinazza, Shardul Chiplunkar Courses Interactive Theorem Proving Project CS-642 A project-focused introduction to interactive theorem proving. Interactive theorem proving CS-428 A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.Come learn how to write computer-checked proofs an
Denis GilletDenis Gillet received the Diploma in Electrical Engineering from the Swiss Federal Institute of Technology in Lausanne (EPFL) in 1988, and the Ph.D. degree in Information Systems also from the EPFL in 1995. During 1992 he was appointed as Research Fellow at the Information Systems Laboratory of Stanford University in the United States. He is currently Maître d'enseignement et de recherche at the EPFL School of Engineering, where he leads the React research group. His current research interests include Technologies Enhanced Learning (TEL), Human Computer Interaction (HCI), Human Devices Interaction (HDI) and Optimal Coordination of Complex and Distributed Systems. Denis Gillet is affiliated at EPFL with the Center for Intelligent Systems and the Center for Digital Education.
Dominique BonvinDominique Bonvin is Professor and Director of the Automatic Control Laboratory of EPFL. He received his Diploma in Chemical Engineering from ETH Zürich, and his Ph.D. degree from the University of California, Santa Barbara. He worked in the field of process control for the Sandoz Corporation in Basel and with the Systems Engineering Group of ETH Zürich. He joined the EPFL in 1989, where his current research interests include modeling, control and optimization of dynamic systems. He served as Director of the Automatic Control Laboratory for the periods 1993-97, 2003-2007 and again since 2012, Head of the Mechanical Engineering Department in 1995-97 and Dean of Bachelor and Master Studies at EPFL for the period 2004-2011.
Roger HerschRoger D. Hersch is professor of Computer Science and head of the Peripheral Systems Laboratory at EPFL. He received his engineering degree from ETHZ in 1975, worked in industry from 1975 to 1980, and obtained his PhD degree from EPFL in 1985. He directed the widely known
Visible Human Web Server project
, which offers a number of services for the visualization of human anatomy.
His current research focuses on color reproduction, spectral color prediction models, moiré imaging, and visual document security. Recent achievements include the PhotoProtect technology, which incorporates text as chromatic differences in order to protect identity photographs (Swiss driving license), microstructure imaging, which is used by railways companies (SNCF, RENFE) and festival organizers (Paleo) to print tickets at home and the band moire imaging technology for the protection of security documents.
Michaël Clément Louis Ghislain ThémansMichaël Thémans holds a M.Sc. in Applied Mathematics (University of Namur, Belgium) and a Ph.D. in Operations Research and Transportation Modeling (EPFL, Switzerland). His Ph.D. thesis, supervised by Prof. Michel Bierlaire, was entitled "Numerical Methods and Models Relevant to Transportation Applications".
Between 2002 and 2007, he was research and teaching assistant in the Transport and Mobility Laboratory at EPFL. He published 5 papers in international journals in the field of Transportation and Operations Research. He was teaching assistant for 15 courses in Operations Research and Behavioral Modeling. He also supervised 20 master theses and research projects in Optimization and Behavioral Modeling. During the same period, he was working on several large-scale transportation-related research projects, in association with MIT and ETH Zurich as well as transportation professionals in Switzerland (Bureau Robert Grandpierre Rapp, Lausanne, Büro Widmer, Frauenfeld), sponsored both by the Swiss Federal Office of Roads and the Swiss National Science Foundation.
Between 2007 and 2009, he was statistician and R&D specialist at the Nestlé Research Center in Lausanne. He provided support in statistics and modeling to R&D centers worldwide and was involved in over 50 R&D projects. In parallel to this, he developed innovative discrete choice models to predict consumer purchasing behavior and disseminated these new methodologies to Nestlé markets worldwide. He also designed and analyzed over 40 market research studies for various Nestlé markets around the world. He also gave training in market research and Design of Experiments to R&D community.
Between 2007 and 2011, he also holded a position as lecturer at EPFL, teaching a master course in Numerical Optimization. Since 2014, he is lecturer at EPFL, co-teaching the "Global Issues" course entitled "Mobility B" which focuses on transportation systems and logistics systems.
Between 2010 and 2014, he was the Deputy Director of EPFL's Transportation Center (TraCE), in charge of the operational management of the EPFL's Transportation Center with the main focus on the business development activities. The main tasks associated with this position were:
-
Develop strategic business partnerships and research projects with private companies and industries as well as public institutions and authorities, at the local, national and international levels.
-
Percolate and highlight EPFL's ongoing research activities in transportation outside EPFL.
-
Obtain external funding to conduct new cutting-edge multi-disciplinary research projects in the field of transportation at EPFL.
-
Management of large-scale R&D projects with industry.
-
Promotion of technology transfer and innovation in all fields related to transportation and mobility.
Between January 2015 and December 2016, he was Deputy of the Vice-President for Innovation and Technology Transfer at EPFL, in charge of seconding the Vice-President Adrienne Corboud Fumagalli in her various tasks.
Since January 2017, he is the Deputy of the Vice-President for Innovation at EPFL and the Head of the "Large Enterprises" and "Innovation Projects" Units of the Vice-Presidency for Innovation. He is also in charge of the operational management of 5 Interdisciplinary Centers affiliated to the Vice-Presidency for Innovation.
Since May 2017, he also holds the position of Vice-President of the EPFL Innovation Park Foundation.
Since mid-2018, he acts as the EPFL’s representative in the Board of Switzerland Innovation Network West EPFL (an innovation-driven network composed of 6 innovation poles in Western Switzerland).
Some other activities and affiliations of Michaël Thémans include:
-
Scientific consulting for various private companies and national agencies in Switzerland and in France.
-
Business Development and Fund Raising for various EPFL's startups and spin-offs.
-
Strategic Business Development Advisor for BestMile SA.
Since May 2012, in parallel to his main activity at EPFL, he is partner and Chief Business Development Officer at "6T - Bureau de Recherche", an EPFL's spin-off specialized in mobility analysis.
His main scientific expertise is in the design, development and applications of demand models and optimization algorithms, which he successfully used during ten years in transportation, food and marketing contexts. He also has a significant experience in market research and consumer understanding. He also has a strong experience in the transportation demand analysis and in the modeling/optimization/simulation of complex transportation systems.
During the years 2010-2014, he has acquired a global knowledge and expertise in transportation thanks to the operational and strategic management of EPFL's Transportation Center (TraCE) which gathers all EPFL's laboratories related to transportation and mobility.
He has also developed over the past seven years a strong experience and expertise in large-scale project management, people management, business development and technology transfer from research to business, with a strong focus on partnerships between academia and Large Enterprises in Switzerland and abroad. 