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.
Denis DubouleDenis Duboule est né en 1955. De Nationalités Suisse et Française, il étudie la biologie à lUniversité de Genève où il reçoit un PhD dans le domaine de lembryologie des mammifères en 1984. Il passe ensuite 10 ans à létranger, dabord comme post-doc et group leader à la faculté de Médecine de Strasbourg (CNRS), puis au Laboratoire Européen de Biologie Moléculaire, à Heidelberg (Allemagne). En 1993, il est nommé Professeur ordinaire à lUniversité de Genève, où il dirige le département de Génétique et Evolution depuis 1997. En 2001 il prend la direction du pôle dexcellence NCCR aux Frontières de la Génétique et celle de la division médecine-Biologie du FNS en 2012. En 2006, il est nommé Professeur ordinaire à lEPFL, Lausanne, où il dirige le laboratoire de Génomique du Développement (UpDUB).
Ses activités de recherche sexercent dans le domaine de lembryologie, de la génétique et de la génomique du développement des mammifères, dans le contexte général de lEvolution des structures et des organes. En particulier, son laboratoire a été associé à de nombreuses recherches dans le domaine de lanalyse structurelle et fonctionnelle des gènes architectes (Hox) et de leur régulation transcriptionnelle pendant le développement précoce. Denis Duboule est également actif dans le domaine de la communication de la science. Il est membre de lAcademia Europea ainsi que dautres académies. Il est également membre de lInstitut de France (Académie des Sciences), de la Société Royale (UK) et de lAcadémie des Sciences Américaine (NAS). Il a reçu plusieurs prix et distinction, notamment le Prix Marcel Benoist, le Prix Louis-Jeantet de Médecine en 1998 et le Prix international de lINSERM en 2010. Voir également https://fr.wikipedia.org/wiki/Denis_Duboule. Michel BierlaireBorn in 1967, Michel Bierlaire holds a PhD in Mathematical Sciences from the Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium (University of Namur). Between 1995 and 1998, he was research associate and project manager at the Intelligent Transportation Systems Program of the Massachusetts Institute of Technology (Cambridge, Ma, USA). Between 1998 and 2006, he was a junior faculty in the Operations Research group ROSO within the Institute of Mathematics at EPFL. In 2006, he was appointed associate professor in the School of Architecture, Civil and Environmental Engineering at EPFL, where he became the director of the Transport and Mobility laboratory. Since 2009, he is the director of TraCE, the Transportation Center. From 2009 to 2017, he was the director of Doctoral Program in Civil and Environmental Engineering at EPFL. In 2012, he was appointed full professor at EPFL. Since September 2017, he is the head of the Civil Engineering Institute at EPFL. His main expertise is in the design, development and applications of models and algorithms for the design, analysis and management of transportation systems. Namely, he has been active in demand modeling (discrete choice models, estimation of origin-destination matrices), operations research (scheduling, assignment, etc.) and Dynamic Traffic Management Systems. As of August 2021, he has published 136 papers in international journals, 4 books, 41 book chapters, 193 articles in conference proceedings, 182 technical reports, and has given 195 scientific seminars. His Google Scholar h-index is 68. He is the founder, organizer and lecturer of the EPFL Advanced Continuing Education Course "Discrete Choice Analysis: Predicting Demand and Market Shares". He is the founder of hEART: the European Association for Research in Transportation. He was the founding Editor-in-Chief of the EURO Journal on Transportation and Logistics, from 2011 to 2019. He is an Associate Editor of Operations Research. He is the editor of two special issues for the journal Transportation Research Part C. He has been member of the Editorial Advisory Board (EAB) of Transportation Research Part B since 1995, of Transportation Research Part C since January 1, 2006.
Ali H. SayedAli H. Sayed est doyen de la Faculté des sciences et techniques de l’ingénieur (STI) de l'EPFL, en Suisse, où il dirige également le laboratoire de systèmes adaptatifs. Il a également été professeur émérite et président du département d'ingénierie électrique de l'UCLA. Il est reconnu comme un chercheur hautement cité et est membre de la US National Academy of Engineering. Il est également membre de l'Académie mondiale des sciences et a été président de l'IEEE Signal Processing Society en 2018 et 2019.
Le professeur Sayed est auteur et co-auteur de plus de 570 publications et de six monographies. Ses recherches portent sur plusieurs domaines, dont les théories d'adaptation et d'apprentissage, les sciences des données et des réseaux, l'inférence statistique et les systèmes multi-agents, entre autres.
Ses travaux ont été récompensés par plusieurs prix importants, notamment le prix Fourier de l'IEEE (2022), le prix de la société Norbert Wiener (2020) et le prix de l'éducation (2015) de la société de traitement des signaux de l'IEEE, le prix Papoulis (2014) de l'Association européenne de traitement des signaux, le Meritorious Service Award (2013) et le prix de la réalisation technique (2012) de la société de traitement des signaux de l'IEEE, le prix Terman (2005) de la société américaine de formation des ingénieurs, le prix de conférencier émérite (2005) de la société de traitement des signaux de l'IEEE, le prix Koweït (2003) et le prix Donald G. Fink (1996) de l'IEEE. Ses publications ont été récompensées par plusieurs prix du meilleur article de l'IEEE (2002, 2005, 2012, 2014) et de l'EURASIP (2015). Pour finir, Ali H. Sayed est aussi membre de l'IEEE, d'EURASIP et de l'American Association for the Advancement of Science (AAAS), l'éditeur de la revue Science.
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.
Dario FloreanoProf. Dario Floreano is director of the Laboratory of Intelligent Systems at the Swiss Federal Institute of Technology Lausanne (EPFL). Since 2010, he is the founding director of the Swiss National Center of Competence in Robotics, a research program that brings together more than 20 labs across Switzerland. Prof. Floreano holds an M.A. in Vision, an M.S. in Neural Computation, and a PhD in Robotics. He has held research positions at Sony Computer Science Laboratory, at Caltech/JPL, and at Harvard University. His main research interests are Robotics and A.I. at the convergence of biology and engineering. Prof. Floreano made pioneering contributions to the fields of evolutionary robotics, aerial robotics, and soft robotics. He served in numerous advisory boards and committees, including the Future and Emerging Technologies division of the European Commission, the World Economic Forum Agenda Council, the International Society of Artificial Life, the International Neural Network Society, and in the editorial committee of several scientific journals. In addition, he helped spinning off two drone companies (senseFly.com and Flyability.com) and a non-for-profit portal on robotics and A.I. (RoboHub.org). Books
Manuale sulle Reti Neurali, il Mulino (in Italian), 1996 (first edition), 2006 (second edition)Evolutionary Robotics, MIT Press, 2000
Bio-Inspired Artificial Intelligence, MIT Press, 2008
Flying Insects and Robots, Springer Verlag, 2010
Jean-Pierre HubauxJean-Pierre Hubaux is a full professor at EPFL and head of the Laboratory for Data Security. Through his research, he contributes to laying the foundations and developing the tools for protecting privacy in today’s hyper-connected world. He has pioneered the areas of privacy and security in mobile/wireless networks and in personalized health. He is the academic director of the Center for Digital Trust (C4DT). He leads the Data Protection in Personalized Health (DPPH) project funded by the ETH Council and is a co-chair of the Data Security Work Stream of the Global Alliance for Genomics and Health (GA4GH). From 2008 to 2019 he was one of the seven commissioners of the Swiss FCC. He is a Fellow of both IEEE (2008) and ACM (2010). Recent awards: two of his papers obtained distinctions at the IEEE Symposium on Security and Privacy in 2015 and 2018. He is among the most cited researchers in privacy protection and in information security. Spoken languages: French, English, German, Italian
André SchiperAndré Schiper obtenu un diplôme en physiques de l'ETHZ en 1973 et un doctorat en informatique de l'EPFL en 1980. Il est professeur en informatique à l'EPFL depuis 1985, à la tête du Laboratoire de systèmes distribués. Durant l'année académique 1992-1993, il fut en congé sabbatique à l'Université de Cornell, Ithaca, New York (travaillant avec Ken Birman and Aleta Ricciardi), et en 2004-2005 à l'Ecole Polytechnique à Palaiseau, France (travaillant avec Bernadette Charron-Bost).
Ses domaines de recherches sont dans le secteur de la dépendance des systèmes distribués, support middleware pour systèmes dépendants, techniques de réplication (incluant bases de données), communication de groupe, transactions distribuées et MANETs (réseaux mobiles ad-hoc).
Prof. Schiper est membre du comité editorial de
Distributed Computing (DC), Springer Verlag - ACM,
Transactions on Dependable and Secure Computing (TDSC), IEEE,
International Journal of Security and Networks (Inderscience).
Rachid GuerraouiRachid Guerraoui has been affiliated with Ecole des Mines of Paris, the Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories and the Massachusetts Institute of Technology. He has worked in a variety of aspects of distributed computing, including distributed algorithms and distributed programming languages. He is most well known for his work on (e-)Transactions, epidemic information dissemination and indulgent algorithms.
He co-authored a book on Transactional Systems (Hermes) and a book on reliable distributed programming (Springer). He was appointed program chair of ECOOP 1999, ACM Middleware 2001, IEEE SRDS 2002, DISC 2004 and ACM PODC 2010.
His publications are available at http://lpdwww.epfl.ch/rachid/papers/generalPublis.html Sabine SüsstrunkProf. Dr. Sabine Süsstrunk leads the Image and Visual Representation Lab in the School of Computer and Communication Sciences (IC) at EPFL since 1999. From 2015-2020, she was also the first Director of the Digital Humanities Institute (DHI), College of Humanities (CdH). Her main research areas are in computational photography, computational imaging, color image processing and computer vision, machine learning, and computational image quality and aesthetics. Sabine has authored and co-authored over 200 publications, of which 7 have received best paper/demo awards, and holds over 10 patents. Sabine served as chair and/or committee member in many international conferences on image processing, computer vision, and image systems engineering. She is President of the Swiss Science Council SSC, Founding Member and Member of the Board (President 2014-2018) of the EPFL-WISH (Women in Science and Humanities) Foundation, Member of the Board of the SRG SSR (Swiss Radio and Television Corporation), and Member of the Board of Largo Films. She received the IS&T/SPIE 2013 Electronic Imaging Scientist of the Year Award for her contributions to color imaging, computational photography, and image quality, and the 2018 IS&T Raymond C. Bowman and the 2020 EPFL AGEPoly IC Polysphere Awards for excellence in teaching. Sabine is a Fellow of IEEE and IS&T.
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.
