Concept
Garden tool
Related people (39)
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.
Sophie Lufkin
FORMATION
2010 - Thèse de doctorat au sein de l'EDAR (Ecole doctorale Architecture, Ville, Histoire) sur la densification des friches ferroviaires, co-dirigée par les Prof. Inès Lamunière et Vincent Kaufmann
2005 - "Master of Art" en architecture, sous la direction des Prof. Patrick BERGER et Inès LAMUNIERE
2003 - Année d'échange à l'ETHZ
1999 - Entrée à l'EPFL, section architecture
1998 - Maturité type B, Collège Claparède, Genève
EXPERIENCE PROFESSIONNELLE
2010 - Architecte, Cheffe de projet chez LAR - Fernando Romero, México
2006 - Assistante de recherche à lEPFL au Laboratoire darchitecture et mobilité urbaine (LAMU), projet de recherche PNR54 "Densification des friches ferroviaires"
2005 - Architecte chez Devanthéry & Lamunière, Genève
2004 - Stage darchitecture, Eric Maria, Genève
2003 - Stage darchitecture, Sumi & Burkhalter, Zurich
2001 - Stage darchitecture, Devanthéry & Lamunière, Genève
RECOMPENSES ET BOURSES
2001 - Prix SIA Vaudoise pour le projet "Fondation Ella Maillart à Chandolin"
2005 - Prix de l'Association des diplômes A3-EPFL
2008 - Bourse Erna Hamburger
LANGUES
Français (maternelle), allemand et anglais (courantes), portugais (notions)
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.
Boi Faltings
Professor Faltings joined EPFL in 1987 as professor of Artificial Intelligence. He holds a PhD degree from the University of Illinois at Urbana-Champaign, and a diploma from the ETHZ. His research has spanned different areas of intelligent systems linked to model-based reasoning. In particular, he has contributed to qualitative spatial reasoning, case-based reasoning (especially for design problems), constraint satisfaction for design and logistics problems, multi-agent systems, and intelligent user interfaces. His current work is oriented towards multi-agent systems and social computing, using concepts of game theory, constraint optimization and machine learning. In 1999, Professor Faltings co-founded Iconomic Systems, a company that developed a new agent-based paradigm for travel e-commerce. He has since co-founded 5 other startup companies and advised several others. Prof. Faltings has published more than 150 refereed papers on his work, and participates regularly in program committees of all major conferences in the field. He has served as associate editor of of the major journals, including the Journal of Artificial Intelligence Research (JAIR) and the Artificial Intelligence Journal. From 1996 to 1998, he served as head of the computer science department.
Henry Markram
Henry 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.