Silvia CoccoloExpertise
Urban GreeningOutdoor Thermal Comfort Urban Energy Modelling
Teaching & PhD Courses Behind/Beyond future cities AR-496 We are living in an urban world and the design of sustainable cities is essential in order to decrease our energy footprint. This course provides the instruments to understand the complex urban metabolism, as well as the solutions for planning future smart and sustainable cities. Urban neighborhoods, infrastructures and sustainable development PENS-309
Claudia Rebeca Binder SignerClaudia 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.
Samy BengioExpertise
Large Language ModelsReasoningStatistical machine learningSpeech processingPerson authenticationMultimodal processingSequence processingArtificial neural networks, support vector machinesHidden markov models, gaussian mixture modelsetc
Expertise
Large Language ModelsReasoningStatistical machine learningSpeech processingPerson authenticationMultimodal processingSequence processingArtificial neural networks, support vector machinesHidden markov models, gaussian mixture modelsetc
Mission
Samy Bengio
Ronan BoulicI come from Brittany, France, where I have completed my PhD degree in Computer Science in 1986 from the University of Rennes, France, at the INRIA-IRISA research institute. I also received the Habilitation degree from the University of Grenoble, France, in march 1995. I was hired in 1989 as First Assistant in the VRLAB, I became scientific collaborator, and senior researcher. I'm presently Senior Scientist (MER) and leader of the Immersive Interaction research Group (IIG). I'm co-author of around 150 research papers among which 43 appeared in international peer-reviewed journals. I have contributed to multiple SNF projects and EU projects. Please check iig.epfl.ch for more details.
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.
Ian SmithPhD, Cambridge University, 1982 Interests 1 Active shape control for structures for deployment and where serviceability criteria governs 2 Biomimetic structures (learning, self-diagnosis, self-repair) 3 Infrastructure management support through structural identification 4 Advanced computer-aided engineering applications of stochastic optimization and search, multi-criteria analysis, system uncertainties (measurement and modelling), multi-modal approaches (combining statistics with behavior models) More details : see https://www.epfl.ch/labs/imac/research/iansmith/ 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.
Christoph KochExpertise
knows everything ;-)
Publications
My publications in Google ScholarMy publications in DBLPMy papers on EPFL's publications server (InfoScience)Prospective PhD students and postdocs please read this before contacting me.
Christoph Koch is a professor of Computer Science at EPFL, specializing in data management. Until 2010, he was an Associate Professor in the Department of Computer Science at Cornell University. Previously to this, from 2005 to 2007, he was an Associate Professor of Computer Scienc
Samuel ChassotI am a PhD candidate in LARA at EPFL, under the guidance of Prof. Viktor KunÄak. My research focuses on Formal Methods and Software Verification. One of my recent work was to formally verify a mutable hash table from the Scala standard library.Before starting my PhD, I obtained an MSc in Computer Science from EPFL, Switzerland. Education MSc Computer Science | 2016 – 2022 EPFL
