Roger HerschRoger D. Hersch is professor of Computer Science and head of the Peripheral Systems Laboratory at EPFL. He received his engineering degree from ETHZ in 1975, worked in industry from 1975 to 1980, and obtained his PhD degree from EPFL in 1985. He directed the widely known
Visible Human Web Server project
, which offers a number of services for the visualization of human anatomy.
His current research focuses on color reproduction, spectral color prediction models, moiré imaging, and visual document security. Recent achievements include the PhotoProtect technology, which incorporates text as chromatic differences in order to protect identity photographs (Swiss driving license), microstructure imaging, which is used by railways companies (SNCF, RENFE) and festival organizers (Paleo) to print tickets at home and the band moire imaging technology for the protection of security documents.
James Richard LarusExpertise
James Larus is a Professor Emeritus and former Dean of the School of Computer and Communication Sciences (IC) at EPFL (école Polytechnique Fédérale de Lausanne). Before joining IC in October 2013, Larus was a researcher, manager, and director in Microsoft Research for over 16 years and an Assistant and Associate Professor in the Computer Sciences Department at the University of Wisconsin, Madison.Larus has been an active contributor to numerous communities. He published over 100 papers (with 14 be
Paolo IennePaolo Ienne has been a Professor at the EPFL since 2000 and heads the Processor Architecture Laboratory (LAP). Prior to that, he worked for the Semiconductors Group of Siemens AG, Munich, Germany (which later became Infineon Technologies AG) where he was at the head of the Embedded Memories unit in the Design Libraries division. His research interests include various aspects of computer and processor architecture, FPGAs and reconfigurable computing, electronic design automation, and computer arithmetic. Ienne was a recipient of Best Paper Awards at the 20th, 24th, and 28th ACM/SIGDA International Symposia on Field-Programmable Gate Arrays (FPGA), in 2012, 2016 and 2020, at the 19th and 30th International Conference on Field-Programmable Logic and Applications (FPL), in 2009 and 2020, at the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES), in 2007, and at the 40th Design Automation Conference (DAC), in 2003; many other papers have been candidates to Best Paper Awards in prestigious venues. He has served as general, programme, and topic chair of renown international conferences, including organizing in Lausanne the 26th International Conference on Field-Programmable Logic and Applications (FPL) in 2016. He serves on the steering committee of the IEEE Symposium on Computer Arithmetic (ARITH) and of the International Conference on Field-Programmable Logic and Applications (FPL). Ienne has guest edited a number of special issues and special sections on various topics for IEEE and ACM journals. He is regularly member of program committees of international workshops and conferences in the areas of design automation, computer architecture, embedded systems, compilers, FPGAs, and asynchronous design. He has been an associate editor of ACM Transactions on Architecture and Code Optimization (TACO), since 2015, of ACM Computing Surveys (CSUR), since 2014, and of ACM Transactions on Design Automation of Electronic Systems (TODAES) from 2011 to 2016.
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
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.
David Atienza AlonsoDavid Atienza Alonso is an associate professor of EE and director of the Embedded Systems Laboratory (ESL) at EPFL, Switzerland. He received his MSc and PhD degrees in computer science and engineering from UCM, Spain, and IMEC, Belgium, in 2001 and 2005, respectively. His research interests include system-level design methodologies for multi-processor system-on-chip (MPSoC) servers and edge AI architectures. Dr. Atienza has co-authored more than 350 papers, one book, and 12 patents in these previous areas. He has also received several recognitions and award, among them, the ICCAD 10-Year Retrospective Most Influential Paper Award in 2020, Design Automation Conference (DAC) Under-40 Innovators Award in 2018, the IEEE TCCPS Mid-Career Award in 2018, an ERC Consolidator Grant in 2016, the IEEE CEDA Early Career Award in 2013, the ACM SIGDA Outstanding New Faculty Award in 2012, and a Faculty Award from Sun Labs at Oracle in 2011. He has also earned two best paper awards at the VLSI-SoC 2009 and CST-HPCS 2012 conference, and five best paper award nominations at the DAC 2013, DATE 2013, WEHA-HPCS 2010, ICCAD 2006, and DAC 2004 conferences. He serves or has served as associate editor of IEEE Trans. on Computers (TC), IEEE Design & Test of Computers (D&T), IEEE Trans. on CAD (T-CAD), IEEE Transactions on Sustainable Computing (T-SUSC), and Elsevier Integration. He was the Technical Program Chair of DATE 2015 and General Chair of DATE 2017. He served as President of IEEE CEDA in the period 2018-2019 and was GOLD member of the Board of Governors of IEEE CASS from 2010 to 2012. He is a Distinguished Member of ACM and an IEEE Fellow.
Edoardo CharbonEdoardo Charbon (SM’00 F’17) received the Elektrotechnik Diploma from ETH Zurich, the M.S. from the University of California at San Diego, and the Ph.D. from the University of California at Berkeley in 1988, 1991, and 1995, respectively, all in electrical engineering and EECS. He has consulted with numerous organizations, including Bosch, X-Fab, Texas Instruments, Maxim, Sony, Agilent, and the Carlyle Group. He was with Cadence Design Systems from 1995 to 2000, where he was the architect of the company's initiative on information hiding for intellectual property protection. In 2000, he joined Canesta Inc., as the Chief Architect, where he led the development of wireless 3-D CMOS image sensors. Since 2002 he has been a member of the faculty of EPFL, where is a full professor since 2015. From 2008 to 2016 he was full professor and chair at the Delft University of Technology, where he spearheaded the university's effort on cryogenic electronics for quantum computing as part of QuTech. He has been the driving force behind the creation of deep-submicron CMOS SPAD technology, which is mass-produced since 2015 and is present in smartphones, telemeters, proximity sensors, and medical diagnostics tools. His interests span from 3-D vision, LiDAR, FLIM, FCS, NIROT to super-resolution microscopy, time-resolved Raman spectroscopy, and cryo-CMOS circuits and systems for quantum computing. He has authored or co-authored over 400 papers and two books, and he holds 23 patents. Dr. Charbon is a distinguished visiting scholar of the W. M. Keck Institute for Space at Caltech, a fellow of the Kavli Institute of Nanoscience Delft, a distinguished lecturer of the IEEE Photonics Society, and a fellow of the IEEE.
Sanidhya KashyapSanidhya Kashyap is a systems researcher and an assistant professor at the EPFL School of Computer and Communication Sciences (IC). His research focuses on designing systems software that are performant and robust for heterogeneous hardware. He is broadly interested in the area of systems with a particular focus on operating systems, databases, concurrency, scheduling, networks, data analytics, and software testing (fuzzing).
Giovanni De MicheliExpertise
Design technologies for integrated systems on silicon, such as synthesis, hw/sw codesign and low-power design, as well as systems on heterogeneous platforms including electrical and biological components.
Scientific Director of EcoCloud Center at EPFL
Directing activities towards creating sustainable computation including AI.Designing energy-savvy data centers and edge devices.
More information
Please read http://si2.epfl.ch/~demichel/
Giovanni De Micheli is a research scientist in electronics and Babak FalsafiBabak is a Professor in the School of Computer and Communication Sciences and the founding director of the EcoCloud, an industrial/academic consortium at EPFL investigating scalable data-centric technologies. He has made numerous contributions to computer system design and evaluation including a scalable multiprocessor architecture which was prototyped by Sun Microsystems (now Oracle), snoop filters and memory streaming technologies that are incorporated into IBM BlueGene/P and Q and ARM cores, and computer system performance evaluation methodologies that have been in use by AMD, HP and Google PerKit . He has shown that hardware memory consistency models are neither necessary (in the 90's) nor sufficient (a decade later) to achieve high performance in multiprocessor systems. These results eventually led to fence speculation in modern microprocessors. His latest work on workload-optimized server processors laid the foundation for the first generation of Cavium ARM server CPUs, ThunderX. He is a recipient of an NSF CAREER award, IBM Faculty Partnership Awards, and an Alfred P. Sloan Research Fellowship. He is a fellow of IEEE and ACM.
Michael Christoph GastparMichael Gastpar is a (full) Professor at EPFL. From 2003 to 2011, he was a professor at the University of California at Berkeley, earning his tenure in 2008.
He received his Dipl. El.-Ing. degree from ETH Zürich, Switzerland, in 1997 and his MS degree from the University of Illinois at Urbana-Champaign, IL, USA, in 1999. He defended his doctoral thesis at EPFL on Santa Claus day, 2002. He was also a (full) Professor at Delft University of Technology, The Netherlands.
His research interests are in network information theory and related coding and signal processing techniques, with applications to sensor networks and neuroscience.
He is a Fellow of the IEEE. He is the co-recipient of the 2013 Communications Society & Information Theory Society Joint Paper Award. He was an Information Theory Society Distinguished Lecturer (2009-2011). He won an ERC Starting Grant in 2010, an Okawa Foundation Research Grant in 2008, an NSF CAREER award in 2004, and the 2002 EPFL Best Thesis Award. He has served as an Associate Editor for Shannon Theory for the IEEE Transactions on Information Theory (2008-11), and as Technical Program Committee Co-Chair for the 2010 International Symposium on Information Theory, Austin, TX.
Pejman Lotfi KamranTeaching & PhD Courses Advanced multiprocessor architecture CS-471 Multiprocessors are basic building blocks for all computer systems. This course covers the architecture and organization of modern multiprocessors, prevalent accelerators (e.g., GPU, TPU), and datacenters. It includes a research project on multiprocessors and post-Moore era datacenters. Parallelism and concurrency in software CS-302 From sensors,to smart phones,to the world's largest datacenters and supercompu
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.
