Concept
Finitary relation
Related people (22)
Marc Troyanov
Doctorat en mathématiques à l'Université de Genève (1987) - Postdoc à Paris et Salt-Lake City, puis professeur assistant à l'UQAM (Montréal). Venu en 1993 à l'EPFL comme professeur assistant, nommé MER en 1999 puis professeur titulaire en 2005. Domaine de recherche : géométrie différentielle, analyse sur les variétés et sur les espaces métriques.
Christos Comninellis
Christos Comninellis, of Greek origin, born in 1945, received his Bachelor of Science in chemistry (distinction with honor) in 1970 from the University of Alexandria.
From 1971 to 1975, he worked as a chemist at the Institute of chemical engineering at the EPFL, where he achieved his PhD in technical sciences in 1979 for his research on the electrochemical fluorination of organic compounds in anhydrous hydrogen fluoride.
Appointed professor in 1996, he teaches at the Faculty of Basic Sciences (FSB) of the Swiss Federal Institute of Technology, Lausanne (EPFL)
Applied Chemistry.
Transport Phenomena.
Chemical and Electrochemical Technologies Related to the Environment.
Electrochemical Engineering.
He also holds a teaching position at the Haute Ecole Valaisanne Sion (HEVs).
His research work is focused on environmental electrochemistry, electrocatalysis, fuel cell and electrochemical promotion in catalysis. An applied research for the utilization of electrochemical techniques in industry for the protection of the environment is a constant concern within his activities. As a result, the collaboration with the industry enabled the development of oxidation processes with regeneration of the oxidant using a new type of bipolar electrochemical reactor.
Christos Comninellis has published over 170 scientific papers, directed 17 doctoral theses and holds 14 patents. He has participated in over 130 international symposia, giving five plenary lectures during the last five years. He has been president of the Evaluation Committee of the FSB since the beginning of 2004 and is member of the jury of the EPFL prize for outstanding PhD-thesis.
Jean-François Molinari
Professor J.F. Molinari is the director of the Computational Solid Mechanics Laboratory (http://lsms.epfl.ch) at EPFL, Switzerland. He holds an appointment in the Civil Engineering institute, which he directed from 2013 to 2017, and a joint appointment in the Materials Science institute. He started his tenure at EPFL in 2007, and was promoted to Full Professor in 2012. He is currently an elected member of the Research Council of the Swiss National Science Foundation in Division 2 (Mathematics, Natural and Engineering Sciences), and co editor in chief of the journal Mechanics of Materials. J.F. Molinari graduated from Caltech, USA, in 2001, with a M.S. and Ph.D. in Aeronautics. He held professorships in several countries besides Switzerland, including the United States with a position in Mechanical Engineering at the Johns Hopkins University (2000-2006), and France at Ecole Normale Supérieure Cachan in Mechanics (2005-2007), as well as a Teaching Associate position at the Ecole Polytechnique de Paris (2006-2009). The work conducted by Prof. Molinari and his collaborators takes place at the frontier between traditional disciplines and covers several length scales from atomistic to macroscopic scales. Over the years, Professor Molinari and his group have been developing novel multiscale approaches for a seamless coupling across scales. The activities of the laboratory span the domains of damage mechanics of materials and structures, nano- and microstructural mechanical properties, and tribology.
Olivier Martin
Olivier J.F. Martin received the M.Sc. and Ph.D. degrees in physics in 1989 and 1994, respectively, from the Swiss Federal Institute of Technology, Lausanne (EPFL), Switzerland. In 1989, he joined IBM Zurich Research Laboratory, where he investigated thermal and optical properties of semiconductor laser diodes. Between 1994 and 1997 he was a research staff member at the Swiss Federal Institute of Technology, Zurich (ETHZ). In 1997 he received a Lecturer fellowship from the Swiss National Science Foundation (SNSF). During the period 1996-1999, he spent a year and a half in the U.S.A., as invited scientist at the University of California in San Diego (UCSD). In 2001 he received a Professorship grant from the SNSF and became Professor of Nano-Optics at the ETHZ. In 2003, he was appointed Professor of Nanophotonics and Optical Signal Processing at the Swiss Federal Institute of Technology, Lausanne (EPFL), where he is currently head of the Nanophotonics and Metrology Laboratory and Director of the Microengineering Section.
Claudia Rebeca Binder Signer
Claudia R. Binder, a Swiss, Canadian and Colombian citizen, was born in Montreal and spent most of her childhood in Switzerland and Colombia. She studied at ETH Zurich from 1985 to 1996, earning a degree in biochemistry and then a PhD in environmental sciences. After conducting her post-doctoral research at the University of Maryland in the US from 1996 to 1998, she returned to Switzerland and took a position as a senior research scientist at ETH Zurich, studying the interaction between human and environmental systems at the Institute for Natural and Social Science Interface. In 2006, Binder joined the University of Zurich as an assistant professor in the Department of Geography, and in 2009 moved to the University of Graz in Austria where she served as a full professor of systems science. In 2011, she took a position at the University of Munich’s Department of Geography as a full professor of human-environment relations.
Binder joined EPFL in March 2016 and set up the Laboratory for Human-Environment Relations in Urban Systems (HERUS) at ENAC; she also holds the La Mobilière Chair on Urban Ecology and Sustainable Living.
Her research involves analyzing, modelling and assessing the transition of urban systems towards sustainability. She looks in particular at how we can better understand the dynamics of urban metabolism, what characterizes a sustainable city, and what drives and hinders transformation processes. She does so by combining knowledge from social, natural and data science. Her research focuses on food, energy, and sustainable living and transport in urban systems.
In Switzerland, Binder was appointed to the Research Council, Programs Division of the Swiss National Science Foundation (SNSF) in 2016 and serves on the Steering Committee of the SNSF’s National Research Program 71, “Managing Energy Consumption” and the Swiss Competence Centers for Energy Research (SCCER). She is also a member of the Steering Board on Sustainability Research for the Swiss Academies of Arts and Sciences. In 2019, she was elected as a member of the University Council of the University of Munich (LMU).
At EPFL, Binder is the academic director of Design Together, a cross-disciplinary teaching initiative. She was appointed to the management team of the Energy Center in 2018 and as head of the working group on EPFL’s energy and sustainability strategy in 2019.
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.