Pasquale Davide SchiavoneEnseignement et PhD Cours Design technologies for integrated systems CS-472 La synthèse hardware est le processus de transformation - itérativement raffiné, détaillé et optimisé - d'une représentation faite en langage de description matérielle en un circuit. Ce cours présente les algorithmes, outils et méthodes de la compilation matérielle et de la synthèse logique.
Giovanni De MicheliExpertise
Technologies de conception pour les systèmes intégrés, tels que la synthèse, le codesign de HW/SW et la conception de basse puissance. Technologies de conception des systèmes sur les plateformes hétérogènes comprenant les composants électriques, et biologiques.
En savoir plus
Consulter svp http://si2.epfl.ch/~demichel/
Enseignement et PhD A dirigé les thèses EPFL de Abhishek Garg, Mohamed Haykel Ben Jamaa, Francesco Zanini, Ciprian Seiculescu, Cristina Boero, Hu Xu, Andrea Cavallini, Shashi Kanth 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 a obtenu son diplôme (MSc) en physique à l'Université de Lausanne, Suisse, en 1986. Il a reçu son doctorat ès science (PhD) en physique (Optique Biomédicale) de l'Ecole Polytechnique Fédérale de Lausanne (EPFL) en 1992, et a effectué un travail de postdoctorat dans les "Wellman Laboratories of Photomedicine" (Harvard Medical School) situés à Boston, MA, USA, en 1993 et 1994. Il a aussi obtenu, en 2001, un "Master in management of technology" délivré par l'Ecole des Hautes Etudes Commerciales (HEC) de l'Université de Lausanne et l'EPFL. Depuis 1994, il gère un groupe de recherche de l'EPFL actif dans les domaines suivants: - Caractérisation et détection de lésions cancéreuses par spectroscopie et imagerie de fluorescence ainsi que par imagerie à fort grossissement. - Traitement du cancer ainsi que d'autres pathologies associées à des désordres immunologiques (maladie de Crohn, Colite ulcéreuse) ou vasculaires par thérapie photodynamique (PDT). - Développement préclinique et clinique de photosensibilisateurs, de marqueurs fluorescents et d'instruments optiques pour le photodiagnostic. - Traitement de diverses pathologies, y compris les maladies neuro-dégénératives (Parkinson, Alzheimer), par photobiomodulation. - Monitorage de la dose optique pour la PDT basée sur l'imagerie de fluorescence de photosensibilisateurs. - Induction de l'extravasation d'agent chimiothérapeutiques par PDT. - Mesure in vivo de la concentration d'oxygène dans des tissus biologiques par spectroscopie et imagerie optiques résolues en temps. - Monitorage d'un traitement au laser de la rétine par imagerie de reflectance. - Développement de distributeurs de lumière pour des applications biomédicales. - Dosimétrie de lumière / Radiométrie. - Spectroscopie et imagerie en optique biomédicale. Georges Wagnières est aussi co-fondateur et a présidé une société "spin-off" de l'EPFL: - Medlight SA, fondée en 1997, qui développe, produit et commercialise des distributeurs de lumière pour la thérapie photodynamique. Georges Wagnières est l'auteur et co-auteur de plus de 235 articles scientifiques dont 150 ont été publiés dans des revues internationales ayant un comité de relecture (review board). De plus, il est inventeur de 18 brevets. Finalement, il supervise ou a supervisé 12 doctorants et enseigne actuellement à l'EPFL l'optique biomédicale et la photomédecine au niveaux "master". Ces cours sont aussi donnés à l'Ecole doctorale (EDCH, EDSV) de l'EPFL. Finalement, il donne le cours intitulé "Physique Générale I" aux biologistes de première année inscrits à l'Ecole de Biologie de l'Université de Lausanne. PUBLICATIONS PRINCIPALES: SVP visiter: 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 KochEnseignement et PhD Doctorant·es actuel·les Léonard Léchot, Zhekai Jiang, Hanbit Lee A dirigé les thèses EPFL de Immanuel Trummer, Aleksandar Vitorovic, Milos Nikolic, Daniel Lupei, Mohammed El Seidy, Ioannis Klonatos, Mohammad Dashti Rahmat Abadi, Amir Shaikhha, Lionel Parreaux, Sachin Basil John, Zilu Tian A co-dirigé les thèses EPFL de David Kozhaya Cours Making intelligent things A CS-358(a) Le cours vise à enseigner le prototypage d'artefacts physiques intelligents et à résoudre des d
Sébastien Jean Robert DoeraeneExpertise
Language design, compilateurs, machines virtuelles.Pédagogie en informatique.
Travail en cours
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
Afficher plus