Pasquale Davide SchiavoneTeaching & PhD Courses Design technologies for integrated systems CS-472 Hardware compilation is the process of transforming specialized hardware description languages into circuit descriptions, which are iteratively refined, detailed and optimized. The course presents algorithms, tools and methods for hardware compilation and logic synthesis.
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 Jürgen BruggerI am a Professor of Microengineering and co-affiliated to Materials Science. Before joining EPFL I was at the MESA Research Institute of Nanotechnology at the University of Twente in the Netherlands, at the IBM Zurich Research Laboratory, and at the Hitachi Central Research Laboratory, in Tokyo, Japan. I received a Master in Physical-Electronics and a PhD degree from Neuchâtel University, Switzerland. Research in my laboratory focuses on various aspects of MEMS and Nanotechnology. My group contributes to the field at the fundamental level as well as in technological development, as demonstrated by the start-ups that spun off from the lab. In our research, key competences are in micro/nanofabrication, additive micro-manufacturing, new materials for MEMS, increasingly for wearable and biomedical applications. Together with my students and colleagues we published over 200 peer-refereed papers and I had the pleasure to supervise over 25 PhD students. Former students and postdocs have been successful in receiving awards and starting their own scientific careers. I am honoured for the appointment in 2016 as Fellow of the IEEE “For contributions to micro and nano manufacturing technology”. In 2017 my lab was awarded an ERC AdvG in the field of advanced micro-manufacturing.
Georges WagnièresGeorges Wagnières received his diploma degree (MSc) in physics from the University of Lausanne, Switzerland, in 1986. He obtained his doctorate in science (PhD) in physics (Biomedical optics) from the Swiss Federal Institute of Technology at Lausanne (EPFL) in 1992 and did a postdoctoral work in the Wellman Laboratories of Photomedicine (Harvard Medical School), Boston, USA, from 1993 to 1994. He also obtained a Master degree in Management of Technology delivered by the Ecole des Hautes Etudes Commerciales (HEC) of Lausanne University and the EPFL in 2001. Georges Wagnières manages a research group active in the fields of: - Detection of early superficial cancers by fluorescence imaging. - Characterization of early superficial cancers by high magnification narrow band imaging. - In vivo and in vitro measurement of the vascular and tissular oxygen concentration by time-resolved luminescence spectroscopy and imaging. - Preclinical and clinical study of new photosensitizers for photodynamic therapy (PDT). - Treatment of neurodegenerative conditions (Alzheimer, Parkinson's diseases) by photobiomodulation. - Preclinical and clinical photodynamic therapy of inflammatory bowel diseases and atheroscerotic plaque. - Improvement of the selective vascular extravasation of chemotherapeutic agents by PDT. - Monitoring the light dosimetry during PDT by fluorescence spectroscopy and imaging. - Monitoring laser treatments of the retina by reflectance imaging. - Light dosimetry and tissue optical spectroscopy. - Radiometry. - Development of light delivery systems for biomedical applications. Georges Wagnières is also co-founder and was chairman of one spin-off companies: - Medlight SA, founded in July 1997, which develops, produces and commercializes light distributors for photodynamic therapy. Georges Wagnières has currently authored more than 235 papers (more than 150 in international journals with review board) and is inventor of 18 patents. He supervised 12 PhD students up to now, and currently teaches biomedical optics and photomedicine in master programs and doctoral schools. In addition, he gives the course entitled "Physique Générale I" to biology first year students registered to the Biology School of the Lausanne's University. MAIN PUBLICATIONS Please visit: https://www.epfl.ch/labs/lifmet/wagnieres/publications/ Edouard BugnionEdouard Bugnion joined EPFL in 2012, where his focus is on datacenter systems. His areas of interest include operating systems, datacenter infrastructure (systems and networking), and computer architecture. Before joining EPFL, Edouard spent 18 years in the US, where he studied at Stanford and co-founded two startups: VMware and Nuova Systems (acquired by Cisco). At VMware from 1998 until 2005, he played many roles including CTO. At Nuova/Cisco from 2005 until 2011, he helped build the core engineering team and became the VP/CTO of Ciscos Server, Access, and Virtualization Technology Group, a group that brought to market Ciscos Unified Computing System (UCS) platform for virtualized datacenters. Prof. Bugnion is a Fellow of the ACM. Together with his colleagues, he received the ACM Software System Award for VMware 1.0 in 2009. His paper Disco: Running Commodity Operating Systems on Scalable Multiprocessors" received a Best Paper Award at SOSP '97 and was entered into the ACM SIGOPS Hall of Fame Award in 2008. At EPFL, he received the OSDI 2014 Best Paper Award for his work on the IX dataplane operating system
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.
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
Sébastien Jean Robert DoeraeneExpertise
Language design, compilers, virtual machines.Pedagogy in computer science.
Current Work
Scala.js, the dialect of Scala for JavaScript and WebAssembly
Sébastien Doeraene is a compiler/runtime systems hacker and a Scala enthusiast. Best known as the author of Scala.js, he is now lecturer at EPFL. He holds a PhD from EPFL, having worked under the supervision of Prof. Martin Odersky, and a master's degree in computer science engineering from Université catholique de Louvain in Belgium. When he is not
Show more