Michel SchinzTeaching & PhD Courses Advanced compiler construction CS-420 Students learn several implementation techniques for modern functional and object-oriented programming languages. They put some of them into practice by developing key parts of a compiler and run time system for a simple functional programming language. Practice of object-oriented programming CS-108 Students improve their knowledge of Java and put it into practice by implementing a sizeable project. They learn how t
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.
Yves MartinTeaching & PhD Past EPFL PhD Students as codirector Francesco Piras, Jonathan Rossel Courses Fusion and industrial plasma technologies PHYS-632 The course provides an overview of the technologies that are essential for fusion developments and for industrial plasmaapplications, highlighting the synergies between the two fields. The aim is to provide a combined theoretical andexperimental background to the various topics.
Michaël UnserExpertise
Image Processing, Medical Imaging, Biological Imaging, Wavelets, Splines, Multiresolution
Michael Unser is Full Professor with EPFL’s school of Engineering and the academic director of EPFL's Center for Imaging, Lausanne, Switzerland. His primary areas of investigation are signal processing, biomedical imaging and applied functional analysis. He is internationally recognized for his research contributions to sampling theory, wavelets, the use of splines for image processing, stochastic processes,
Albert RenkenTeaching & PhD Past EPFL PhD Students Serge Maeder, Jacques Membrez, Stéphane Porchet, Philippe Menoud, Brigitta Frank, Harvey Randall, Wolfgang Zimmerer, Frédéric Van Vyve, Serge Golay, Jianzhong Yang, Stéphane Dubuis, Philippe Warnery, Anders Nattorp, Christian Spühler, Laurent Cavin, Miriam Lorenzi, Bastien Monnerat, André Rouge, Olivier Wolfrath, Peter Stahl, Ralf Maurer, Konrad Geissler, Volker Höller, Benoît Louis, Pierre Reuse, Fabio Rainone, Eric Joannet, Chrystèle Horny Past EPFL PhD Students as co
Christophe BallifChristophe Ballif is director of the Phototovoltaics and Thin Film Electronics Laboratoryb) (PV-Lab at the institute of microengineering (IMT) in Neuchâtel (part of the EPFL since 2009). The lab focus is on the science and technology of high efficiency heterojunction crystalline cells,so-called passivating contacts for solar cells, multi-junction solar cells include novel generation Perovskite on innovative optical high speed detector and on various macroelectronics application. It also deals with energy management with a focus on integration of solar electricity into the energy system. The PV-Lab has strongly contributed to technology transfer and industrialization of novel devices and full technology with numerous companies. Christophe Ballif graduated as a physicist from the EPFL in 1994, where he also obtained in 1998 his Phd degree working on novel PV materials. He accomplished his postdoctoral research at NREL (Golden, US) on compound semiconductor solar cells (CIGS and CdTe). He worked then at the Fraunhofer ISE (Ge) on crystalline silicon photovoltaics (monocrystalline and multi-crystalline) until 2003 and then at the EMPA in Thun (CH) before becoming full professor at the University of Neuchâtel IMT in 2004, taking over the chair of Prof. A. Shah. Since 2013, C.Ballif is also the director of the new CSEM PV-Center, also located in Neuchâtel. The CSEM PV-Center is focussing more on industrialisation and technology transfer in the field of solar energy, including solar electricity management and storage. At the core of the CSEM PV-center activities lies several "pilot lines" for various kinds of solar cells manufacturing, with a focus coating technologies, wet chemistry processes for crystalline silicon, metalisation techniques for solar cells, and a platform for developing "ideal packaging solutions and polymers" for PV modules. In addition, joined facitilites between CSEM and EPFL of over 800 m2 are available for modules manufacturing, measuring and accelerated aging. CSEM PV-center has also full team dedicated to storage and energy systems and operates a joined center with BFH in Biel for research on electrochemical storage. He (co-) authored over 500 journal and technical papers, as well as several patents. He is an elected member of the SATW, member of the scientific council of the Swiss AEE, and member of the board of the EPFL Energy center. In 2016, he recieved the Becquerel prize for his contributions to the field of high efficiency photovoltaics.
Touradj EbrahimiTouradj EBRAHIMI received his M.Sc. and Ph.D., both in Electrical Engineering, from the Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, in 1989 and 1992 respectively. In 1993, he was a research engineer at the Corporate Research Laboratories of Sony Corporation in Tokyo, where he conducted research on advanced video compression techniques for storage applications. In 1994, he served as a research consultant at AT&T Bell Laboratories working on very low bitrate video coding. He is currently Professor at EPFL heading its Multimedia Signal Processing Group. He is also the Convenor of JPEG standardization Committee. He was also adjunct Professor with the Center of Quantifiable Quality of Service at Norwegian University of Science and Technology (NTNU)from 2008 to 2012.
Prof. Ebrahimi has been the recipient of various distinctions and awards, such as the IEEE and Swiss national ASE award, the SNF-PROFILE grant for advanced researchers, Four ISO-Certificates for key contributions to MPEG-4 and JPEG 2000, and the best paper award of IEEE Trans. on Consumer Electronics . He became a Fellow of the international society for optical engineering (SPIE) in 2003. Prof. Ebrahimi has initiated more than two dozen National, European and International cooperation projects with leading companies and research institutes around the world. He is a co-founder of Genista SA, a high-tech start-up company in the field of multimedia quality metrics. In 2002, he founded Emitall SA, start-up active in the area of media security and surveillance. In 2005, he founded EMITALL Surveillance SA, a start-up active in the field of privacy and protection. He is or has been associate Editor with various IEEE, SPIE, and EURASIP journals, such as IEEE Signal Processing Magazine, IEEE Trans. on Image Processing, IEEE Trans. on Multimedia, EURASIP Image Communication Journal, EURASIP Journal of Applied Signal Processing, SPIE Optical Engineering Magazine. Prof. Ebrahimi is a member of Scientific Advisory Board of various start-up and established companies in the general field of Information Technology. He has served as Scientific Expert and Evaluator for Research Funding Agencies such as those of European Commission, The Greek Ministry of Development, The Austrian National Foundation for Scientific Research, The Portuguese Science Foundation, as well as a number of Venture Capital Companies active in the field of Information Technologies and Communication Systems. His research interests include still, moving, and 3D image processing and coding, visual information security (rights protection, watermarking, authentication, data integrity, steganography), new media, and human computer interfaces (smart vision, brain computer interface).
He is the author or the co-author of more than 200 research publications, and holds 14 patents. Prof. Ebrahimi is a member of IEEE, SPIE, ACM and IS&T.
See the URL below for more details:
http://mmspl.epfl.ch Martin OderskyMartin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET.
Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.
François MaréchalPh D. in engineering Chemical process engineer
Researcher and lecturer in the field of computer aided process and energy systems engineering.
Lecturer in the mechanical engineering, electrical engineering and environmental sciences engineering in EPFL.
I'm responsible for the Minor in Energy of EPFL and I'm involved in 3 projects of the Competence Center in Energy and Mobility (2nd generation biofuel, Wood SOFC, and gas turbine development with CO2 mitigation) in which i'm contributing to the energy conversion system design and optimisation.
Short summary of my scientific carrer
After a graduation in chemical engineering from the University of Liège, I have obtained a Ph. D. from the University of Liège in the LASSC laboratory of Prof. Kalitventzeff (former president of the European working party on computer aided process engineering). This laboratory was one of the pioneering laboratory in the field of Computer Aided Process Engineering.
In the group of Professor Kalitventzeff, I have worked on the development and the applications of data reconciliation, process modelling and optimisation techniques in the chemical process industry, my experience ranges from nuclear power stations to chemical plants. In the LASSC, I have been responsible from the developments in the field of rational use of energy in the industry. My first research topic has been the methodological development of process integration techniques, combining the use of pinch based methods and of mathematical programming: e.g. for the design of multiperiod heat exchanger networks or Mixed integer non linear programming techniques for the optimal management of utility systems. Fronted with applications in the industry, my work then mainly concentrated on the optimal integration of utility systems considering not only the energy requirements but the cost of the energy requirements and the energy conversion systems. I developed methods for analysing and integrating the utility system, the steam networks, combustion (including waste fuel), gas turbines or other advanced energy conversion systems (cogeneration, refrigeration and heat). The techniques applied uses operation research tools like mixed integer linear programming and exergy analysis. In order to evaluate the results of the utility integration, a new graphical method for representing the integration of the utility systems has been developed. By the use of MILP techniques, the method developed for the utility integration has been extended to handled site scale problems, to incorporate environmental constraints and reduce the water usage. This method (the Effect Modelling and Optimisation method) has been successfully applied to the chemical plants industry, the pulp and paper industry and the power plant. Instead of focusing on academic problems, I mainly developed my research based on industrial applications that lead to valuable and applicable patented results. Recently the methods developed have been extended to realise the thermoeconomic optimisation of integrated systems like fuel cells. My present R&D work concerns the application of multi-objective optimisation strategies in the design of processes and integrated energy conversion systems.
Since 2001, Im working in the Industrial Energy Systems Laboratory (LENI) of Ecole Polytechnique fédérale de Lausanne (EPFL) where Im leading the R&D activities in the field of Computer Aided Analysis and Design of Industrial Energy Systems with a major focus on sustainable energy conversion system development using thermo-economic optimisation methodologies. A part from the application and the development of process integration techniques, that remains my major field of expertise, the applications concern :
Rational use of water and energy in Industrial processes and industrial production sites : projects with NESTLE, EDF, VEOLIA and Borregaard (pulp and paper).Energy conversion and process design : biofuels from waste biomass (with GASNAT, EGO and PSI), water dessalination and waste water treatment plant (VEOLIA), power plant design (ALSTOM), Energy conversion from geothermal sources (BFE). Integrated energy systems in urban areas : together with SCANE and SIG (GE) and IEA annexe 42 for micro-cogeneration systems.
I as well contributed to the definition of the 2000 Watt society and to studies concerning the emergence of green technologies on the market in the frame of the Alliance for Global Sustainability.
Pascal FuaPascal Fua received an engineering degree from Ecole Polytechnique, Paris, in 1984 and the Ph.D. degree in Computer Science from the University of Orsay in 1989. He then worked at SRI International and INRIA Sophia-Antipolis as a Computer Scientist. He joined EPFL in 1996 where he is now a Professor in the School of Computer and Communication Science and heads the Computer Vision Laboratory. His research interests include shape modeling and motion recovery from images, analysis of microscopy images, and Augmented Reality. His research interests include shape modeling and motion recovery from images, analysis of microscopy images, and machine learning. He has (co)authored over 300 publications in refereed journals and conferences. He is an IEEE Fellow and has been an Associate Editor of IEEE journal Transactions for Pattern Analysis and Machine Intelligence. He often serves as program committee member, area chair, and program chair of major vision conferences and has cofounded three spinoff companies (Pix4D, PlayfulVision, and NeuralConcept).
Yves PerriardYves Perriard was born in Lausanne in 1965. He received the M. Sc. in Microengineering from the Swiss Federal Institute of Technology - Lausanne (EPFL) in 1989 and the Ph D. degree in 1992. Co-founder of Micro-Beam SA, he was CEO of this company involved in high precision electric drive. Senior lecturer from 1998 and professor since 2003, he is currently director of Laboratory of Integrated Actuators. His research interests are in the field of new actuator design and associated electronic devices. In 2009, he is appointed Vice-Director of the Microengineering Institute in Neuchâtel until 2011. In 2013 the Federal Council has named him the the CTI commission in Bern. In 2014 he is appointed guest professor at Zhejiang University in China. In 2017, the lab is granted by the Werner Siemens Foundation of an amount of 12 millions CHF in order to set up a new Center for Artificial Muscules. Since 2018, he is Expert with Innosuisse, the new Swiss Innovation Agency. http://scholar.google.com/citations?hl=fr&user=V2onuO8AAAAJ https://actu.epfl.ch/news/a-12-million-franc-donation-to-create-a-center-for/ Henry MarkramHenry Markram started a dual scientific and medical career at the University of Cape Town, in South Africa. His scientific work in the 80s revealed the polymodal receptive fields of pontomedullary reticular formation neurons in vivo and how acetylcholine re-organized these sensory maps.
He moved to Israel in 1988 and obtained his PhD at the Weizmann Institute where he discovered a link between acetylcholine and memory mechanisms by being the first to show that acetylcholine modulates the NMDA receptor in vitro studies, and thereby gates which synapses can undergo synaptic plasticity. He was also the first to characterize the electrical and anatomical properties of the cholinergic neurons in the medial septum diagonal band.
He carried out a first postdoctoral study as a Fulbright Scholar at the NIH, on the biophysics of ion channels on synaptic vesicles using sub-fractionation methods to isolate synaptic vesicles and patch-clamp recordings to characterize the ion channels. He carried out a second postdoctoral study at the Max Planck Institute, as a Minerva Fellow, where he discovered that individual action potentials propagating back into dendrites also cause pulsed influx of Ca2 into the dendrites and found that sub-threshold activity could also activated a low threshold Ca2 channel. He developed a model to show how different types of electrical activities can divert Ca2 to activate different intracellular targets depending on the speed of Ca2 influx an insight that helps explain how Ca2 acts as a universal second messenger. His most well known discovery is that of the millisecond watershed to judge the relevance of communication between neurons marked by the back-propagating action potential. This phenomenon is now called Spike Timing Dependent Plasticity (STDP), which many laboratories around the world have subsequently found in multiple brain regions and many theoreticians have incorporated as a learning rule. At the Max-Planck he also started exploring the micro-anatomical and physiological principles of the different neurons of the neocortex and of the mono-synaptic connections that they form - the first step towards a systematic reverse engineering of the neocortical microcircuitry to derive the blue prints of the cortical column in a manner that would allow computer model reconstruction.
He received a tenure track position at the Weizmann Institute where he continued the reverse engineering studies and also discovered a number of core principles of the structural and functional organization such as differential signaling onto different neurons, models of dynamic synapses with Misha Tsodyks, the computational functions of dynamic synapses, and how GABAergic neurons map onto interneurons and pyramidal neurons. A major contribution during this period was his discovery of Redistribution of Synaptic Efficacy (RSE), where he showed that co-activation of neurons does not only alter synaptic strength, but also the dynamics of transmission. At the Weizmann, he also found the tabula rasa principle which governs the random structural connectivity between pyramidal neurons and a non-random functional connectivity due to target selection. Markram also developed a novel computation framework with Wolfgang Maass to account for the impact of multiple time constants in neurons and synapses on information processing called liquid computing or high entropy computing.
In 2002, he was appointed Full professor at the EPFL where he founded and directed the Brain Mind Institute. During this time Markram continued his reverse engineering approaches and developed a series of new technologies to allow large-scale multi-neuron patch-clamp studies. Markrams lab discovered a novel microcircuit plasticity phenomenon where connections are formed and eliminated in a Darwinian manner as apposed to where synapses are strengthening or weakened as found for LTP. This was the first demonstration that neural circuits are constantly being re-wired and excitation can boost the rate of re-wiring.
At the EPFL he also completed the much of the reverse engineering studies on the neocortical microcircuitry, revealing deeper insight into the circuit design and built databases of the blue-print of the cortical column. In 2005 he used these databases to launched the Blue Brain Project. The BBP used IBMs most advanced supercomputers to reconstruct a detailed computer model of the neocortical column composed of 10000 neurons, more than 340 different types of neurons distributed according to a layer-based recipe of composition and interconnected with 30 million synapses (6 different types) according to synaptic mapping recipes. The Blue Brain team built dozens of applications that now allow automated reconstruction, simulation, visualization, analysis and calibration of detailed microcircuits. This Proof of Concept completed, Markrams lab has now set the agenda towards whole brain and molecular modeling.
With an in depth understanding of the neocortical microcircuit, Markram set a path to determine how the neocortex changes in Autism. He found hyper-reactivity due to hyper-connectivity in the circuitry and hyper-plasticity due to hyper-NMDA expression. Similar findings in the Amygdala together with behavioral evidence that the animal model of autism expressed hyper-fear led to the novel theory of Autism called the Intense World Syndrome proposed by Henry and Kamila Markram. The Intense World Syndrome claims that the brain of an Autist is hyper-sensitive and hyper-plastic which renders the world painfully intense and the brain overly autonomous. The theory is acquiring rapid recognition and many new studies have extended the findings to other brain regions and to other models of autism.
Markram aims to eventually build detailed computer models of brains of mammals to pioneer simulation-based research in the neuroscience which could serve to aggregate, integrate, unify and validate our knowledge of the brain and to use such a facility as a new tool to explore the emergence of intelligence and higher cognitive functions in the brain, and explore hypotheses of diseases as well as treatments.
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
Pierre DillenbourgA former teacher in elementary school, Pierre Dillenbourg graduated in educational science (University of Mons, Belgium). He started his research on learning technologies in 1984. In 1986, he has been on of the first in the world to apply machine learning to develop a self-improving teaching system. He obtained a PhD in computer science from the University of Lancaster (UK), in the domain of artificial intelligence applications for education. He has been assistant professor at the University of Geneva. He joined EPFL in 2002. He has been the director of Center for Research and Support on Learning and its Technologies, then academic director of Center for Digital Education, which implements the MOOC strategy of EPFL (over 2 million registrations). He is full professor in learning technologies in the School of Computer & Communication Sciences, where he is the head of the CHILI Lab: "Computer-Human Interaction for Learning & Instruction ». He is the director of the leading house DUAL-T, which develops technologies for dual vocational education systems (carpenters, florists,...). With EPFL colleagues, he launched in 2017 the Swiss EdTech Collider, an incubator with 80 start-ups in learning technologies. He (co-)-founded 4 start-ups, does consulting missions in the corporate world and joined the board of several companies or institutions. In 2018, he co-founded LEARN, the EPFL Center of Learning Sciences that brings together the local initiatives in educational innovation. He is a fellow of the International Society for Learning Sciences. He currently is the Associate Vice-President for Education at EPFL.
Dimitri RacordonExpertise
Programming language design, type systems, memory safety
I got my Ph.D. in computer science at the University of Geneva, Switzerland. I worked on model checking and developed efficient data structures to generate and explore large state spaces. SI then studied logics and type systems while trying to find new ways to teach computer science.I have always loved coding, but quickly realized I'm not so good at writing correct programs. So I thought I'd better write clever compilers to do it for me. Eve
Thomas MountfordTeaching & PhD Past EPFL PhD Students Damien Gauthier, Samir Brahim Belhaouari, Driss Baraka, Daniel Rodrigues Valesin, Samuel Schöpfer, Kamran Kalbasi, Jacques Saliba, Hao Xue, Keming Chen Past EPFL PhD Students as codirector Guillaume Charles Woessner Courses Analysis I MATH-101(d) Study the fundamental concepts of analysis, and the differential and integral calculus of real-valued functions of one real variable. Markov chains MATH-332 The course follows the text of Norris
