Concept
Open-source software
Personnes associées (50)
Viktor Kuncak
Viktor 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.
Arne Seitz
04/1996-06/2000 Scientific co-worker at Philipps-University of Marburg, Dep. of Physical Chemistry
07/2000-10/2002 Post Doc at Max-Planck Unit for Structural Molecular Biology in Hamburg
11/2002-11/2005 Post Doc at European Molecular Biolohy Laboratory (EMBL), Cell Biology and Cell Biophysics Programme
11/2005-03/2009 Staff Scientist at Advanced Light Microscopy Facility, EMBL
04/2009- Head of Bioimaging and Optics platforme (BIOP), Ecole Polytechnique Fédérale de Lausanne (EPFL)
François Maréchal
Look at the
researcher id
Denis Gillet
Denis 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.
Alfio Quarteroni
Of italian nationality, Alfio Quarteroni was born on May 30th 1952. He pursued his studies in mathematics at University of Pavia and at University of Paris VI. In 1986 he was nominated full professor at Catholic University of Brescia, later professor in mathematics at University of Minnesota at Minneapolis and professor in numerical analysis at Politecnico di Milano. He is designated full professor in 1997 and enters into service with EPFL in 1998. At EPFL, he teaches numerical analysis to engineers and mathematicians and holds specialized courses about mathematical modelling and scientific computing for master and PhD students. He had been scientific director of CRS4, plenary speaker of more than two hundred international conferences; he is member of the European Academy of Sciences, the Italian Academy of Sciences, the Lombard Academy of Science and Letters. He is Editor in Chief of two book series (MS&A and Unitext) by Springer, associate editor of 25 international journals. He has been plenary speaker at the International Congress of Mathematicians ICM2006. He had been responsible of several European research networks. His team has carried out the aerodynamic and hydrodynamic simulations for the optimization of Alinghi, the Swiss sailing yacht that has won two editions of the America's Cup in 2003 and 2007.